Action Languages, Answer Sets, and Planning
暂无分享,去创建一个
[1] Bart Selman,et al. Planning as Satisfiability , 1992, ECAI.
[2] Danny De Schreye,et al. Representing Incomplete Knowledge in Abductive Logic Programming , 1993, J. Log. Comput..
[3] Leon Sterling,et al. Relating Stable Models and AI Planning Domains , 1995 .
[4] Gerald Pfeifer,et al. The KR System dlv: Progress Report, Comparisons and Benchmarks , 1998, KR.
[5] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.
[6] Victor W. Marek,et al. Stable models and an alternative logic programming paradigm , 1998, The Logic Programming Paradigm.
[7] Hector Geffner,et al. Causal Theories for Nonmonotonic Reasoning , 1990, AAAI.
[8] Hudson Turner,et al. A Logic of Universal Causation , 1999, Artif. Intell..
[9] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..
[10] D. C. Dashfield. HER MAJESTY'S STATIONERY OFFICE , 1954 .
[11] Hudson Turner,et al. Representing Actions in Logic Programs and Default Theories: A Situation Calculus Approach , 1997, J. Log. Program..
[12] Fangzhen Lin,et al. Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.
[13] Hudson Turner,et al. Causal Theories of Action and Change , 1997, AAAI/IAAI.
[14] Vladimir Lifschitz,et al. On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..
[15] Drew McDermott,et al. Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..
[16] Bart Selman,et al. Pushing the Envelope: Planning, Propositional Logic and Stochastic Search , 1996, AAAI/IAAI, Vol. 2.
[17] P. Simons. Towards Constraint Satisfaction through Logic Programs and the Stable Model Semantics , 1997 .
[18] Keith L. Clark,et al. Negation as Failure , 1987, Logic and Data Bases.
[19] Bernhard Nebel,et al. Encoding Planning Problems in Nonmonotonic Logic Programs , 1997, ECP.
[20] Ilkka Niemelä,et al. Efficient Implementation of the Well-founded and Stable Model Semantics , 1996, JICSLP.
[21] V. Lifschitz,et al. Foundations of Logic Programming , 1997 .
[22] Vladimir Lifschitz,et al. Formalizing Common Sense: Papers by John McCarthy , 1998 .
[23] Enrico Giunchiglia,et al. An Action Language Based on Causal Explanation: Preliminary Report , 1998, AAAI/IAAI.
[24] Hudson Turner,et al. Satisfiability planning with Causal Theories , 1998, KR.
[25] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[26] David S. Warren,et al. Representing actions in logic programming and its applications in database updates , 1993 .
[27] Victor W. Marek,et al. Default Reasoning System DeReS , 1996, KR.
[28] John McCarthy,et al. Programs with common sense , 1960 .