KER 2007 | Sciweavers

25

click to vote

KER
2007

72views more KER 2007»

An introduction to logical spreadsheets

13 years 11 months ago

Download logic.stanford.edu

Michael Kassoff, André Valente

claim paper

Read More »

41

click to vote

KER
2007

90views more KER 2007»

PLTOOL: A knowledge engineering tool for planning and learning

13 years 11 months ago

Download www.plg.inf.uc3m.es

AI planning solves the problem of generating a correct and eﬃcient ordered set of instantiated activities, from a knowledge base of generic actions, which when executed will tra...

Susana Fernández, Daniel Borrajo, Raquel Fu...

claim paper

Read More »

34

click to vote

KER
2007

90views more KER 2007»

Ontology-based models in pervasive computing systems

13 years 11 months ago

Download www.simondobson.org

Pervasive computing is by its nature open and extensible, and must integrate the information from a diverse range of sources. This leads to a problem of information exchange, so s...

Juan Ye, Lorcan Coyle, Simon Dobson, Paddy Nixon

claim paper

Read More »

26

click to vote

KER
2007

68views more KER 2007»

Implementing logic spreadsheets in LESS

13 years 11 months ago

Download www.atl.external.lmco.com

André Valente, David Van Brackle, Hans Chal...

claim paper