Sciweavers

111 search results - page 2 / 23
» A Temporal Planning System for Time-Optimal Planning
Sort
View
JOLLI
2007
128views more  JOLLI 2007»
13 years 7 months ago
Linear temporal logic as an executable semantics for planning languages
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...
Marta Cialdea Mayer, Carla Limongelli, Andrea Orla...
ECAI
1992
Springer
13 years 11 months ago
Deductive Planning and Plan Reuse in a Command Language Environment
We introduce a deductive planning system intended to supply intelligent help systems. It consists of a deductive planner and a plan reuse component, providing planning from rst as...
Susanne Biundo, Dietmar Dengler, Jana Koehler
IJCAI
2007
13 years 9 months ago
A Heuristic Search Approach to Planning with Temporally Extended Preferences
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 ...
Jorge A. Baier, Fahiem Bacchus, Sheila A. McIlrait...
ECAI
2000
Springer
13 years 12 months ago
Continual Planning with Time-Oriented, Skeletal Plans
In dynamically changing environments a planning system does not have all the required information at the first place and the world state can change, rendering the original plan i...
Silvia Miksch, Andreas Seyfang
AIPS
2007
13 years 9 months ago
A Fast Incremental Algorithm for Maintaining Dispatchability of Partially Controllable Plans
Autonomous systems operating in real-world environments must be able to plan, schedule, and execute missions while robustly adapting to uncertainty and disturbances. Previous work...
Julie A. Shah, John Stedl, Brian C. Williams, Paul...