Sciweavers

97 search results - page 3 / 20
» Planning with Temporally Extended Goals Using Heuristic Sear...
Sort
View
AIPS
2009
13 years 5 months ago
Suboptimal and Anytime Heuristic Search on Multi-Core Machines
In order to scale with modern processors, planning algorithms must become multi-threaded. In this paper, we present parallel shared-memory algorithms for two problems that underli...
Ethan Burns, Seth Lemons, Wheeler Ruml, Rong Zhou
IJCAI
2003
13 years 6 months ago
On the application of least-commitment and heuristic search in temporal planning
Graphplan planning graphs are structures widely used in modern planners. The exclusion relations calculated in the planning graph extension provide very useful information, especi...
Antonio Garrido Tejero, Eva Onaindia
ECAI
2004
Springer
13 years 10 months ago
Compilation of LTL Goal Formulas into PDDL
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
Stephen Cresswell, Alexandra M. Coddington
ATAL
2009
Springer
13 years 11 months ago
Agent programming with temporally extended goals
In planning as well as in other areas, temporal logic has been used to specify so-called temporally extended goals. Temporally extended goals refer to desirable sequences of state...
Koen V. Hindriks, Wiebe van der Hoek, M. Birna van...
AIPS
2009
13 years 5 months ago
Extending the Use of Inference in Temporal Planning as Forwards Search
PDDL2.1 supports modelling of complex temporal planning domains in which solutions must exploit concurrency. Few existing temporal planners can solve problems that require concurr...
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek ...