1614 search results - page 87 / 323 » Planning as Temporal Reasoning |
151
click to vote
PPSWR
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
143
click to vote
AR
2008
15 years 6 months ago
2008
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 clo...
205
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
While type causality helps us to understand general relationships such as the etiology of a disease (smoking causing lung cancer), token causality aims to explain causal connectio...
147
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
By using an example from a robot navigating domain, we argue that to specify declaratively the behavior of an agent, we need to have a formal and explicit notion of \quality plans...
206
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...