1614 search results - page 94 / 323 » Planning as Temporal Reasoning |
209
click to vote
AAAI
2011
14 years 6 months ago
2011
Plan recognition is a form of abductive reasoning that involves inferring plans that best explain sets of observed actions. Most existing approaches to plan recognition and other ...
154
click to vote
IROS
2007
IEEE
16 years 19 days ago
2007
IEEE
— Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its ...
198
click to vote
ECP
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
178
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
conflicts between goals and plans in Dung’s abstract argumentation framework. Argumentation theory has traditionally been used to deal with conflicts between defaults and beli...
188
click to vote
TIME
2007
IEEE
16 years 18 days ago
2007
IEEE
It is known that for temporal languages, such as firstorder LT L, reasoning about constant (time-independent) relations is almost always undecidable. This applies to temporal des...