Refinement Planning as a Unifying Framework for Plan Synthesis
暂无分享,去创建一个
[1] S. Kambhampati,et al. Synthesizing Customized Planners from Specifications , 1998, J. Artif. Intell. Res..
[2] S. Kambhampati. Challenges in Bridging Plan Synthesis Paradigms , 1997, IJCAI.
[3] Subbarao Kambhampati,et al. Planning and Scheduling , 1997, The Computer Science and Engineering Handbook.
[4] Subbarao Kambhampati,et al. Failure Driven Dynamic Search Control for Partial Order Planners: An Explanation Based Approach , 1996, Artif. Intell..
[5] Matthew L. Ginsberg. A New Algorithm for Generative Planning , 1996, KR.
[6] Subbarao Kambhampati,et al. On the Role of Disjunctive Representations and Constraint Propagation in Refinement Planning , 1996, KR.
[7] Bart Selman,et al. Encoding Plans in Propositional Logic , 1996, KR.
[8] Martha E. Pollack,et al. Is "Early Commitment" in Plan Generation Ever a Good Idea? , 1996, AAAI/IAAI, Vol. 2.
[9] Subbarao Kambhampati,et al. Design and Implementation of a Replay Framework Based on a Partial Order Planner , 1996, AAAI/IAAI, Vol. 1.
[10] Bart Selman,et al. Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.
[11] Steve A. Chien. Static and Completion Analysis for Planning Knowledge Base Development and Verification , 1996, AIPS.
[12] Drew McDermott,et al. A Heuristic Estimator for Means-Ends Analysis in Planning , 1996, AIPS.
[13] Subbarao Kambhampati,et al. A Candidate Set Based Analysis of Subgoal Interactions in Conjunctive Goal Planning , 1996, AIPS.
[14] Subbarao Kambhampati,et al. On the Nature and Role of Modal Truth Criteria in Planning , 1996, Artif. Intell..
[15] James M. Crawford,et al. Experimental Results on the Crossover Point in Random 3-SAT , 1996, Artif. Intell..
[16] Fahiem Bacchus,et al. Using temporal logic to control search in a forward chaining planner , 1996 .
[17] S. Kambhampati,et al. Universal classical planner: an algorithm for unifying state-space and plan-space planning , 1996 .
[18] Avrim Blum,et al. Fast Planning Through Planning Graph Analysis , 1995, IJCAI.
[19] Subbarao Kambhampati,et al. Planning as Refinement Search: A Unified Framework for Evaluating Design Tradeoffs in Partial-Order Planning , 1995, Artif. Intell..
[20] V. S. Subrahmanian,et al. Complexity, Decidability and Undecidability Results for Domain-Independent Planning , 1995, Artif. Intell..
[21] Daniel S. Weld. An Introduction to Least Commitment Planning , 1994, AI Mag..
[22] Edwin P. D. Pednault,et al. ADL and the State-Transition Model of Action , 1994, J. Log. Comput..
[23] Daniel S. Weld,et al. Temporal Planning with Continuous Change , 1994, AAAI.
[24] Nicholas Kushmerick,et al. An Algorithm for Probabilistic Least-Commitment Planning , 1994, AAAI.
[25] Steven Minton,et al. Total-Order and Partial-Order Planning: A Comparative Analysis , 1994, J. Artif. Intell. Res..
[26] Daniel S. Weld,et al. Partial-Order Planning: Evaluating Possible Efficiency Gains , 1994, Artif. Intell..
[27] Daniel S. Weld,et al. Xii: Planning with Universal Quantification and Incomplete Information , 1994 .
[28] Daniel S. Weld,et al. UCPOP: A Sound, Complete, Partial Order Planner for ADL , 1992, KR.
[29] Hector J. Levesque,et al. A New Method for Solving Hard Satisfiability Problems , 1992, AAAI.
[30] James A. Hendler,et al. A Validation-Structure-Based Theory of Plan Modification and Reuse , 1992, Artif. Intell..
[31] David A. McAllester,et al. Systematic Nonlinear Planning , 1991, AAAI.
[32] Jean-Jacques Fuchs,et al. PlanERS-1: An expert planning system for generating spacecraft mission plane , 1990, Expert Planning Systems.
[33] Mark Drummond,et al. Situated Control Rules , 1989, KR.
[34] Oren Etzioni,et al. Explanation-Based Learning: A Problem Solving Perspective , 1989, Artif. Intell..
[35] Edwin P. D. Pednault,et al. Synthesizing plans that contain actions with context‐dependent effects 1 , 1988, Comput. Intell..
[36] Michael P. Wellman. Dominance and Subsumption in Constraint-Posting Planning , 1987, IJCAI.
[37] David Chapman,et al. Planning for Conjunctive Goals , 1987, Artif. Intell..
[38] A. Haas. The Case for Domain-Specific Frame Axioms , 1987 .
[39] David E. Wilkins,et al. Domain-Independent Planning: Representation and Plan Generation , 1984, Artif. Intell..
[40] Nils J. Nilsson,et al. Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[41] Austin Tate,et al. Generating Project Networks , 1977, IJCAI.
[42] Austin Tate,et al. Interacting Goals And Their Use , 1975, IJCAI.
[43] Richard Fikes,et al. STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.
[44] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.