Sciweavers

2398 search results - page 217 / 480
» Knowledge Representation
Sort
View
JOLLI
2007
128views more  JOLLI 2007»
15 years 4 months ago
Linear temporal logic as an executable semantics for planning languages
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
ICCS
2010
Springer
15 years 3 months ago
Introducing Rigor in Concept Maps
Although concept maps have been found to be effective in science education research, these are critiqued for being informal due to informal usage of relation and attribute names t...
Meena Kharatmal, G. Nagarjuna
SAC
2009
ACM
15 years 11 months ago
Semantic information and sensor networks
Embedded Networked Sensing involves untethered, networked devices tightly coupled to the physical world, to monitor and interact with it. Raw sensor observation can be annotated w...
Krishnaprasad Thirunarayan, Joshua Pschorr
AGS
2009
Springer
15 years 11 months ago
Two Case Studies for Jazzyk BSM
Recently, we introduced Behavioural State Machines (BSM ), a novel programming framework for development of cognitive agents with Jazzyk, its associated programming language and in...
Michael Köster, Peter Novák, David Mai...
SEMWEB
2009
Springer
15 years 11 months ago
On Detecting High-Level Changes in RDF/S KBs
An increasing number of scientific communities rely on Semantic Web ontologies to share and interpret data within and across research domains. These common knowledge representatio...
Vicky Papavassiliou, Giorgos Flouris, Irini Fundul...