A Simple Formalization of Actions Using Circumscription
暂无分享,去创建一个
[1] Andrew B. Baker,et al. Nonmonotonic Reasoning in the Framework of Situation Calculus , 1991, Artif. Intell..
[2] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..
[3] John McCarthy,et al. Applications of Circumscription to Formalizing Common Sense Knowledge , 1987, NMR.
[4] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[5] Fangzhen Lin,et al. Provably correct theories of action , 1991, JACM.
[6] Enrico GiunchigliaG,et al. Actions with Indirect Effects (extended Abstract) Publication Notes: in Proc. Aaai Spring Symposium'95 on Extending Theories of Actions. Actions with Indirect Eeects (extended Abstract) , 1995 .
[7] Drew McDermott,et al. Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..
[8] R. Reiter,et al. Temporal reasoning in the situation calculus , 1994 .
[9] Dov M. Gabbay,et al. Quantifier Elimination in Second-Order Predicate Logic , 1992, KR.
[10] John McCarthy,et al. Circumscription - A Form of Non-Monotonic Reasoning , 1980, Artif. Intell..
[11] Nils J. Nilsson,et al. Artificial Intelligence , 1974, IFIP Congress.
[12] Marianne Winslett,et al. Reasoning about Action Using a Possible Models Approach , 1988, AAAI.
[13] Fangzhen Lin,et al. State Constraints Revisited , 1994, J. Log. Comput..
[14] Enrico Giunchiglia,et al. Actions with Indirect Effects (Extended Abstract) , 1995 .
[15] Vladimir Lifschitz,et al. Nested Abnormality Theories , 1995, Artif. Intell..