1614 search results - page 84 / 323 » Planning as Temporal Reasoning |
173
click to vote
IJCAI
2003
15 years 7 months ago
2003
There is controversy as to whether explicit support for PDDL-like axioms and derived predicates is needed for planners to handle real-world domains effectively. Many researchers h...
176
click to vote
AAMAS
2008
Springer
15 years 6 months ago
2008
Springer
Abductive reasoning is a well established field of Artificial Intelligence widely applied to different problem domains not least cognitive robotics and planning. It has been used ...
197
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
165
click to vote
LPNMR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a logic programming based conditional planner that is capable of generating both conditional and sequential conformant plans in the presence of sensing actions...
192
click to vote
IJCAI
1997
15 years 7 months ago
1997
As an alternative to planning, an approach to highlevel agent control based on concurrent program execution is considered. A formal definition in the situation calculus of such a ...