Inductive Definability and the Situation Calculus
暂无分享,去创建一个
[1] Vaughan R. Pratt,et al. A decidable mu-calculus: Preliminary report , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
[2] Patrick Cousot,et al. Inductive definitions, semantics and abstract interpretations , 1992, POPL '92.
[3] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.
[4] Sheila A. McIlraith. Representing Actions and State Constraints in Model-Based Diagnosis , 1997, AAAI/IAAI.
[5] 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.
[6] Edmund M. Clarke,et al. Characterizing Correctness Properties of Parallel Programs Using Fixpoints , 1980, ICALP.
[7] Hector J. Levesque,et al. Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus , 1997, IJCAI.
[8] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[9] Hector J. Levesque,et al. GOLOG: A Logic Programming Language for Dynamic Domains , 1997, J. Log. Program..
[10] Dexter Kozen,et al. RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .
[11] John L. Bell,et al. A course in mathematical logic , 1977 .
[12] Fangzhen Lin,et al. Embracing Causality in Specifying the Indirect Effects of Actions , 1995, IJCAI.
[13] Yiannis N. Moschovakis,et al. Elementary induction on abstract structures , 1974 .
[14] E. Allen Emerson,et al. Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[15] Daniel Leivant,et al. Higher order logic , 1994, Handbook of Logic in Artificial Intelligence and Logic Programming.
[16] Peter Aczel,et al. An Introduction to Inductive Definitions , 1977 .
[17] Vladimir Lifschitz,et al. Artificial intelligence and mathematical theory of computation: papers in honor of John McCarthy , 1991 .
[18] Michael Thielscher,et al. Ramification and Causality , 1997, Artif. Intell..
[19] Raymond Reiter,et al. Proving Properties of States in the Situation Calculus , 1993, Artif. Intell..
[20] Eric C. R. Hehner,et al. A Practical Theory of Programming , 1993, Texts and Monographs in Computer Science.