1614 search results - page 75 / 323 » Planning as Temporal Reasoning |
195
click to vote
LPAR
1992
Springer
15 years 10 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
177
click to vote
DLOG
2003
15 years 7 months ago
2003
In this paper we introduce a decidable fixpoint extension of temporal Description Logics. We exploit the decidability results obtained for various monodic extensions of Descripti...
160
click to vote
AIPS
2010
15 years 6 months ago
2010
When using a planner-based agent architecture, many things can go wrong. First and foremost, an agent might fail to execute one of the planned actions for some reasons. Even more ...
152
click to vote
DLOG
2007
15 years 8 months ago
2007
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
161
click to vote
AAAI
2000
15 years 7 months ago
2000
The main problem of planning is to find a sequence of actions that an agent must perform to achieve a given objective. An important part of planning is checking whether a given pl...