Sciweavers

590 search results - page 43 / 118
» Knowledge And The Action Description Language A
Sort
View
JOLLI
2007
128views more  JOLLI 2007»
13 years 8 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...
DEXAW
2003
IEEE
113views Database» more  DEXAW 2003»
14 years 2 months ago
Integrating Ontology Languages and Answer Set Programming
We integrate ontology languages and logic programming (LP) by extending disjunctive logic programs (DLPs) and their semantics in order to support inverses and an infinite univers...
Stijn Heymans, Dirk Vermeir
DEXAW
1998
IEEE
93views Database» more  DEXAW 1998»
14 years 1 months ago
Dynamic Document Delivery: Generating Natural Language Texts on Demand
Research in natural language generation promises significant advances in the ways in which we can make available the contents of underlying information sources. Most work in the f...
Robert Dale, Stephen J. Green, Maria Milosavljevic...
FLAIRS
2009
13 years 6 months ago
Lifting the Limitations in a Rule-based Policy Language
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
Alan Lindsay, Maria Fox, Derek Long
IADIS
2003
13 years 10 months ago
DOWL: A Dynamic Ontology Language
Ontologies in a web setting, particularly those used in a group context (such as a virtual community), need to be flexible and open to changes that reflect the evolution of knowle...
John Avery, John Yearwood