On the Nature of Modal Truth Criteria in Planning
暂无分享,去创建一个
[1] Daniel S. Weld,et al. Systematic adaptation for case-based planning , 1992 .
[2] Qiang Yang,et al. ABTWEAK: Abstracting a Nonlinear, Least Commitment Planner , 1990, AAAI.
[3] Subbarao Kambhampati,et al. A Unified Framework for Explanation-Based Generalization of Partially Ordered and Partially Instantiated Plans , 1994, Artif. Intell..
[4] David Chapman,et al. Planning for Conjunctive Goals , 1987, Artif. Intell..
[5] David S. Johnson,et al. Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .
[6] Mark A. Peot,et al. Conditional nonlinear planning , 1992 .
[7] Stanley J. Rosenschein,et al. Plan Synthesis: A Logical Perspective , 1981, IJCAI.
[8] Bernhard Nebel,et al. On the Computational Complexity of Temporal Projection, Planning, and Plan Validation , 1994, Artif. Intell..
[9] Vaughan R. Pratt,et al. Semantical consideration on floyo-hoare logic , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
[10] Mark S. Boddy,et al. Reasoning About Partially Ordered Events , 1988, Artificial Intelligence.
[11] Vaughan R. Pratt,et al. SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.
[12] Bernhard Nebel,et al. On the Computational Complexity of Temporal Projection and Plan Validation , 1992, AAAI.
[13] Ernest Davis,et al. Representations of commonsense knowledge , 2014, notThenot Morgan Kaufmann series in representation and reasoning.
[14] Subbarao Kambhampati,et al. On the Nature and Role of Modal Truth Criteria in Planning , 1996, Artif. Intell..