Pushing the Envelope: Planning, Propositional Logic, and Stochastic Search (1996)

by Henry Kautz , Bart Selman
Citations:521 - 31 self

Documents Related by Co-Citation

960 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
1737 STRIPS: A new approach to the application of theorem proving to problem solving. Arti cial Intelligence 2:189{208 – R Fikes, N J Nilsson - 1971
1483 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
622 Planning for conjunctive goals – D Chapman - 1987
77 A Heuristic Estimator for Means-Ends Analysis in Planning – Drew Mcdermott - 1996
742 A machine program for theorem proving – Martin Davis, George Logemann, Donald Loveland - 1962
1084 A computing procedure for quantification theory – Martin Davis, Hilary Putnam - 1960
431 Planning as satisfiability – Henry Kautz, Bart Selman - 1992
412 UCPOP: A Sound, Complete, Partial Order Planner for ADL – J. Scott Penberthy, Daniel S. Weld - 1992
64 Understanding and Extending Graphplan – Subbarao Kambhampati, Eric Parker, Eric Lambrecht - 1997
386 Systematic Nonlinear Planning – David Mcallester, David Rosenblitt - 1991
259 Unifying SAT-based and Graph-based Planning – Henry Kautz, Bart Selman - 1999
169 Extending planning graphs to an ADL subset – Jana Koehler, Bernhard Nebel, Jörg Hoffmann, Yannis Dimopoulos - 1997
270 Local Search Strategies for Satisfiability Testing – Bart Selman, Henry Kautz, Bram Cohen - 1995
139 A Robust and Fast Action Selection Mechanism for Planning – Blai Bonet, Gábor Loerincs, Héctor Geffner - 1997
8 Min and Anbulagan – Chu Li - 1997
95 Building decision procedures for modal logics from propositional decision procedures -- The case study of modal K(m) – Fausto Giunchiglia, Roberto Sebastiani - 1996
67 Ignoring Irrelevant Facts and Operators in Plan Generation – Bernhard Nebel, Yannis Dimopoulos, Jana Koehler - 1997
398 Real-time heuristic search – R E Korf - 1990