State-space Planning by Integer Optimization (1999)

Cached

Download Links

by Henry Kautz , Joachim P. Walser
Venue:In Proceedings of the Sixteenth National Conference on Artificial Intelligence
Citations:59 - 0 self

Active Bibliography

16 Integer Optimization Models of AI Planning Problems – Henry Kautz, Joachim P. Walser - 2000
108 Recent Advances in AI Planning – Daniel S. Weld - 1999
3 Applying Integer Programming to AI Planning – Thomas Vossen, Michael Ball, Robert H. Smith, Amnon Lotem, Dana Nau - 2000
94 Bridging the gap between planning and scheduling – David E. Smith, Jeremy Frank, Ari K. Jónsson
Scaleability in Planning with Limited Resources – Vassilis Liatsos - 2000
1 Automatic Discovery and Exploitation of Domain Knowledge in Planning – Steven A. Wolfman - 1999
4 Admissible Heuristics for Automated Planning – Patrik Haslum
30 Web Service Composition as AI Planning - a Survey – Joachim Peer - 2005
9 Functional Strips: a more general language for planning and problem solving – Blai Bonet, Héctor Geffner - 1999
57 Contingent Planning Under Uncertainty via Stochastic Satisfiability – Stephen M. Majercik, Michael L. Littman - 1999
6 On the utility of Plan-space (Causal) Encodings – Amol D. Mali, Subbarao Kambhampati - 1999
43 Scaling up Planning by teasing out Resource Scheduling – Biplav Srivastava, Subbarao Kambhampati - 1999
34 Planning the Project Management Way: Efficient Planning by Effective Integration of Causal and Resource Reasoning in RealPlan – Biplav Srivastava, Subbarao Kambhampati, Binh Minh Do - 2000
70 The LPSAT Engine & its Application to Resource Planning – Steven A. Wolfman, Daniel S. Weld - 1999
24 Combining Linear Programming and Satisfiability Solving for Resource Planning – Steven A. Wolfman, Daniel S. Weld - 2000
275 Using Temporal Logics to Express Search Control Knowledge for Planning – Fahiem Bacchus, Froduald Kabanza - 1999
259 Unifying SAT-based and Graph-based Planning – Henry Kautz, Bart Selman - 1999
1 On reasonable and forced goal orderings and their use in an incremental planning algorithm – Jana Koehler, Jörg Hoffmann - 2000
148 Encoding Plans in Propositional Logic – Henry Kautz, David Mcallester, Bart Selman - 1996