Unifying SAT-based and Graph-based Planning (1999)

by Henry Kautz , Bart Selman
Citations:258 - 13 self

Active Bibliography

108 Recent Advances in AI Planning – Daniel S. Weld - 1999
23 Control Knowledge in Planning: Benefits and Tradeoffs – Yi-cheng Huang, Bart Selman, Henry Kautz - 1999
16 Integer Optimization Models of AI Planning Problems – Henry Kautz, Joachim P. Walser - 2000
32 Web Service Composition as AI Planning - a Survey – Joachim Peer - 2005
94 Bridging the gap between planning and scheduling – David E. Smith, Jeremy Frank, Ari K. Jónsson
2 Friends or Foes? On Planning as Satisfiability and Abstract CNF Encodings – Carmel Domshlak, Jörg Hoffmann, Ashish Sabharwal
4 Admissible Heuristics for Automated Planning – Patrik Haslum
122 BLACKBOX: A New Approach to the Application of Theorem Proving to Problem Solving – Henry Kautz, Bart Selman - 1998
2 The Role of Domain-Specific Knowledge . . . – Henry Kautz, Bart Selman - 1998
42 Conditional Effects in Graphplan – Corin R. Anderson, David E. Smith, Daniel S. Weld - 1998
1 Compute-intensive methods in artificial intelligence – Bart Selman - 1997
34 Planning by Rewriting – José Luis Ambite, Craig A. Knoblock - 2001
25 The GRT Planning System: Backward Heuristic Construction in Forward State-Space Planning – Ioannis Refanidis, Ioannis Vlahavas - 2001
38 Learning Declarative Control Rules for Constraint-Based Planning – Yi-Cheng Huang , Bart Selman, Henry Kautz
1 Automatic Discovery and Exploitation of Domain Knowledge in Planning – Steven A. Wolfman - 1999
17 Reachability, Relevance, Resolution and the Planning as Satisfiability Approach – Ronen I. Brafman - 1999
Principles of Efficient Inference – Henry Kautz - 2001
3 Applying Integer Programming to AI Planning – Thomas Vossen, Michael Ball, Robert H. Smith, Amnon Lotem, Dana Nau - 2000
63 Planning Graph as the Basis for Deriving Heuristics for Plan Synthesis by State Space and CSP Search – Xuanlong Nguyen, Subbarao Kambhampati, Romeo S. Nigenda - 2000