1614 search results - page 16 / 323 » Planning as Temporal Reasoning |
AIPS
2003
15 years 3 months ago
2003
We present some techniques for planning in temporal do
113
click to vote
JOLLI
2007
15 years 1 months ago
2007
This paper presents an approach to artificial intelligence planning based on linear temporal logic (LTL). A simple and easy-to-use planning language is described, PDDL-K (Planning...
106
click to vote
IJCAI
2007
15 years 3 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...
104
click to vote
IJCAI
2007
15 years 3 months ago
2007
In this paper we propose a suite of techniques for planning with temporally extended preferences (TEPs). To this end, we propose a method for compiling TEP planning problems into ...
106
Voted
AIPS
2000
15 years 3 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...