Sciweavers

174 search results - page 1 / 35
» Planning for Temporally Extended Goals
Sort
View
88
Voted
ECAI
2008
Springer
15 years 6 days ago
Learning in Planning with Temporally Extended Goals and Uncontrollable Events
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
André A. Ciré, Adi Botea
87
Voted
AIPS
2006
14 years 12 months ago
Planning with Temporally Extended Goals Using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. Current planners for TEGs prune the search space during planni...
Jorge A. Baier, Sheila A. McIlraith
109
Voted
AAAI
2006
14 years 12 months ago
Planning with First-Order Temporally Extended Goals using Heuristic Search
Temporally extended goals (TEGs) refer to properties that must hold over intermediate and/or final states of a plan. The problem of planning with TEGs is of renewed interest becau...
Jorge A. Baier, Sheila A. McIlraith
IJCAI
2001
14 years 11 months ago
Planning as Model Checking for Extended Goals in Non-deterministic Domains
Recent research has addressed the problem of planning in non-deterministic domains. Classical planning has also been extended to the case of goals that can express temporal proper...
Marco Pistore, Paolo Traverso
66
Voted
IJCAI
2007
14 years 12 months ago
Planning for Temporally Extended Goals as Propositional Satisfiability
Robert Mattmüller, Jussi Rintanen