1614 search results - page 19 / 323 » Planning as Temporal Reasoning |
123
click to vote
TIME
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
107
click to vote
ER
2010
Springer
15 years 10 days ago
2010
Springer
Abstract. We investigate the computational complexity of reasoning over temporal extensions of conceptual data models. The temporal conceptual models we analyse include the standar...
KR
2010
Springer
15 years 6 months ago
2010
Springer
A plan with rich control structures like branches and loops can usually serve as a general solution that solves multiple planning instances in a domain. However, the correctness o...
101
click to vote
AAAI
1998
15 years 3 months ago
1998
Temporal plans permit significant flexibility in specifying the occurrence time of events. Plan execution can make good use of that flexibility. However, the advantage of executio...
AIPS
2007
15 years 4 months ago
2007