Using Temporal Logics to Express Search Control Knowledge for Planning (1999)

by Fahiem Bacchus , Froduald Kabanza
Venue:ARTIFICIAL INTELLIGENCE
Citations:274 - 11 self

Active Bibliography

11 Anytime Deliberation for Computer Game Agents – Nicholas Andrew Hawes - 2004
30 Web Service Composition as AI Planning - a Survey – Joachim Peer - 2005
3 Capability Representations for Brokering: A Survey – Gerhard Wickler, Austin Tate - 1999
1 On reasonable and forced goal orderings and their use in an incremental planning algorithm – Jana Koehler, Jörg Hoffmann - 2000
94 Bridging the gap between planning and scheduling – David E. Smith, Jeremy Frank, Ari K. Jónsson
55 On Reasonable and Forced Goal Orderings and their Use in an Agenda-Driven Planning Algorithm – Jana Koehler, Jörg Hoffmann - 2000
16 Integer Optimization Models of AI Planning Problems – Henry Kautz, Joachim P. Walser - 2000
53 OBDD-based Universal Planning for Synchronized Agents in Non-Deterministic Domains – Rune M. Jensen, Manuela M. Veloso - 2000
Articles An AI Planning-based Tool for Scheduling Satellite Nominal Operations – Maria Dolores Rodríguez-moreno, Daniel Borrajo, Daniel Meziat
65 Using Regression-Match Graphs to Control Search in Planning – Drew Mcdermott - 1999
4 Admissible Heuristics for Automated Planning – Patrik Haslum
108 Recent Advances in AI Planning – Daniel S. Weld - 1999
20 An Overview of Planning Under Uncertainty – Jim Blythe - 1999
66 Decision-theoretic Planning – Jim Blythe - 1999
2 Directions in planning: Understanding the flow of time in planning – Bart Massey - 1999
34 Planning by Rewriting – José Luis Ambite, Craig A. Knoblock - 2001
2 Anytime Replanning Using Local Subplan Replacement – Gabriel J. Ferrer - 2002
132 Planning for Temporally Extended Goals – Fahiem Bacchus, Froduald Kabanza - 1997
Electronic Newsletter On Reasoning About Actions And Change – Editor Erik Sandewall