Sciweavers

1614 search results - page 14 / 323
» Planning as Temporal Reasoning
Sort
View
AIPS
2003
15 years 3 months ago
A Framework for Planning with Extended Goals under Partial Observability
Planning in nondeterministic domains with temporally extended goals under partial observability is one of the most challenging problems in planning. Subsets of this problem have b...
Piergiorgio Bertoli, Alessandro Cimatti, Marco Pis...
93
Voted
CADE
2002
Springer
16 years 2 months ago
Temporal Logic for Proof-Carrying Code
Andrew Bernard, Peter Lee
ICDE
2000
IEEE
116views Database» more  ICDE 2000»
16 years 3 months ago
Query Plans for Conventional and Temporal Queries Involving Duplicates and Ordering
Most real-world database applications contain a substantial portion of time-referenced, or temporal, data. Recent advances in temporal query languages show that such database appl...
Giedrius Slivinskas, Christian S. Jensen, Richard ...
SPATIALCOGNITION
2004
Springer
15 years 7 months ago
Branching Allen
Allen’s interval calculus is one of the most prominent formalisms in the domain of qualitative spatial and temporal reasoning. Applications of this calculus, however, are restric...
Marco Ragni, Stefan Wölfl
IJCAI
2003
15 years 3 months ago
On the application of least-commitment and heuristic search in temporal planning
Graphplan planning graphs are structures widely used in modern planners. The exclusion relations calculated in the planning graph extension provide very useful information, especi...
Antonio Garrido Tejero, Eva Onaindia