Causality via Inductive Deenitions
暂无分享,去创建一个
[1] Hudson Turner,et al. Causal Theories of Action and Change , 1997, AAAI/IAAI.
[2] Eric C. R. Hehner. A Practical Theory of Programming , 1993, Texts and Monographs in Computer Science.
[3] Raymond Reiter,et al. Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..
[4] Michael Gelfond,et al. Classical negation in logic programs and disjunctive databases , 1991, New Generation Computing.
[5] Vladimir Lifschitz,et al. On the Logic of Causal Explanation (Research Note) , 1997, Artif. Intell..
[6] Yiannis N. Moschovakis,et al. Elementary induction on abstract structures , 1974 .
[7] J. van Leeuwen,et al. Logic Programming , 2002, Lecture Notes in Computer Science.
[8] Benjamin Johnston,et al. Proceedings of the IJCAI-09 Workshop on Nonmonotonic Reasoning, Action and Change , 2009 .
[9] Michael Thielscher. Computing Ramiications by Postprocessing , 1995 .
[10] Eric W. Weisstein,et al. Closed-Form Solution , 2002 .
[11] Sheila A. McIlraith. Representing Actions and State Constraints in Model-Based Diagnosis , 1997, AAAI/IAAI.
[12] Richard Waldinger,et al. Achieving several goals simultaneously , 1977 .
[13] Robert Boyd Skipper,et al. A CAUSAL THEORY OF 'ABOUT' , 1987 .
[14] Michael Thielscher,et al. Ramiication and Causality , 1996 .
[15] Raymond Reiter,et al. The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression , 1991, Artificial and Mathematical Theory of Computation.
[16] Fangzhen Lin,et al. Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.