Sciweavers

1614 search results - page 36 / 323
» Planning as Temporal Reasoning
Sort
View
GIS
1998
ACM
15 years 5 months ago
Abstract and Discrete Modeling of Spatio-Temporal Data Types
Martin Erwig, Ralf Hartmut Güting, Markus Sch...
DLOG
2010
14 years 12 months ago
Temporal Conceptual Modelling with DL-Lite
Alessandro Artale, Roman Kontchakov, Vladislav Ryz...
AAAI
2008
15 years 4 months ago
Fusing Procedural and Declarative Planning Goals for Nondeterministic Domains
While in most planning approaches goals and plans are different objects, it is often useful to specify goals that combine declarative conditions with procedural plans. In this pap...
Dmitry Shaparau, Marco Pistore, Paolo Traverso
TABLEAUX
2005
Springer
15 years 7 months ago
Pdk: The System and Its Language
This paper presents the planning system Pdk (Planning with Domain Knowledge), based on the translation of planning problems into Linear Time Logic theories, in such a way that fin...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
AAAI
2000
15 years 3 months ago
Execution of Temporal Plans with Uncertainty
Simple Temporal Networks (STNs) have proved useful in applications that involve metric time. However, many applications involve events whose timing is uncertain in the sense that ...
Paul H. Morris, Nicola Muscettola