On modularity of theories
暂无分享,去创建一个
[1] John McCarthy,et al. Mathematical logic in artificial intelligence , 1989 .
[2] Norman Y. Foo,et al. EPDL: A Logic for Causal Reasoning , 2001, IJCAI.
[3] Roger S. Pressman,et al. Software Engineering: A Practitioner's Approach , 1982 .
[4] Norman Y. Foo,et al. Consistency of Action Descriptions , 2002, PRICAI.
[5] Abhaya C. Nayak,et al. Coherence of Laws , 2003, IJCAI.
[6] J. Davenport. Editor , 1960 .
[7] Raymond Reiter,et al. Some contributions to the metatheory of the situation calculus , 1999, JACM.
[8] Michael Thielscher. Computing Ramifications by Postprocessing , 1995, IJCAI.
[9] Lenhart K. Schubert. Monotonic Solution of the Frame Problem in the Situation Calculus: An Efficient Method for Worlds wi , 1990 .
[10] Patrick Doherty,et al. Explaining Explanation Closure , 1996, ISMIS.
[11] Andreas Herzig,et al. Domain descriptions should be modular , 2004, NMR.
[12] Eyal Amir,et al. (De)Composition of Situation Calculus Theories , 2000, AAAI/IAAI.
[13] Marcus Kracht,et al. Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.
[14] Fangzhen Lin,et al. Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.
[15] Zbigniew W. Ras,et al. Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems , 1993 .
[16] Fangzhen Lin,et al. Causal Theories of Action: A Computational Core , 2003, IJCAI.
[17] Hudson Turner,et al. A Causal Theory of Ramifications and Qualifications , 1995, IJCAI.
[18] Marcus Kracht,et al. Simulation and Transfer Results in Modal Logic – A Survey , 1997, Stud Logica.