On the utility of Plan-space (Causal) Encodings
暂无分享,去创建一个
[1] Amol Dattatraya Mali. Hierarchical Task Network Planning as Satisfiability , 1999, ECP.
[2] Anthony Barrett,et al. Partial-Order Planning: Evaluating Possible Efficiency Gains , 1994, Artificial Intelligence.
[3] Henry Kautz,et al. Pushing the envelope: planning , 1996 .
[4] Roberto J. Bayardo,et al. Using CSP Look-Back Techniques to Solve Real-World SAT Instances , 1997, AAAI/IAAI.
[5] Bart Selman,et al. Ten Challenges in Propositional Reasoning and Search , 1997, IJCAI.
[6] Chu Min Li,et al. Heuristics Based on Unit Propagation for Satisfiability Problems , 1997, IJCAI.
[7] Bart Selman,et al. Encoding Plans in Propositional Logic , 1996, KR.
[8] Subbarao Kambhampati,et al. Planning as Refinement Search: A Unified Framework for Evaluating Design Tradeoffs in Partial-Order Planning , 1995, Artif. Intell..
[9] Michael D. Ernst,et al. Automatic SAT-Compilation of Planning Problems , 1997, IJCAI.
[10] David Chapman,et al. Planning for Conjunctive Goals , 1987, Artif. Intell..
[11] David A. McAllester,et al. Systematic Nonlinear Planning , 1991, AAAI.
[12] Jussi Rintanen,et al. A Planning Algorithm not based on Directional Search , 1998, KR.
[13] Michael L. Littman,et al. MAXPLAN: A New Approach to Probabilistic Planning , 1998, AIPS.
[14] Lenhart K. Schubert,et al. Inferring State Constraints for Domain-Independent Planning , 1998, AAAI/IAAI.
[15] Tamara Babaian,et al. Planning with Incomplete Knowledge and Limited Quantification , 1998 .
[16] Bart Selman,et al. Boosting Combinatorial Search Through Randomization , 1998, AAAI/IAAI.
[17] Bart Selman,et al. The Role of Domain-Specific Knowledge in the Planning as Satisfiability Framework , 1998, AIPS.
[18] Subbarao Kambhampati,et al. Refinement Planning as a Unifying Framework for Plan Synthesis , 1997, AI Mag..
[19] Subbarao Kambhampati,et al. Derivation Replay for Partial-Order Planning , 1994, AAAI.
[20] Daniel S. Weld,et al. UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.
[21] Hudson Turner,et al. Satisfiability planning with Causal Theories , 1998, KR.
[22] Bart Selman,et al. Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.
[23] Enrico Giunchiglia,et al. Act, and the Rest Will Follow: Exploiting Determinism in Planning as Satisfiability , 1998, AAAI/IAAI.
[24] Steven Minton,et al. Commitment Strategies in Planning: A Comparative Analysis , 1991, IJCAI.