KER 2007 | Sciweavers

27

click to vote

KER
2007

72views more KER 2007»

An introduction to logical spreadsheets

14 years 9 days ago

Download logic.stanford.edu

Michael Kassoff, André Valente

claim paper

Read More »

44

click to vote

KER
2007

90views more KER 2007»

PLTOOL: A knowledge engineering tool for planning and learning

14 years 9 days 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 »

36

click to vote

KER
2007

90views more KER 2007»

Ontology-based models in pervasive computing systems

14 years 9 days 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 »

28

click to vote

KER
2007

68views more KER 2007»

Implementing logic spreadsheets in LESS

14 years 9 days ago

Download www.atl.external.lmco.com

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

claim paper