Reasoning about time in the situation calculus

J.F. Allen, Towards a general theory of action and time, Artificial Intelligence 23(1984)123?154.

E. Davis, Axiomatizing qualitative process theory, in:Proc. 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning (KR '92), eds. C. Rich, B. Nebel and W. Swartout (Morgan Kaufmann, 1992) pp. 177?188.

M. Gelfond, V. Lifschitz and A. Rabinov, What are the limitations of the situation calculus?,Working Notes, AAAI Spring Symposium Series. Symposium: Logical Formalization of Commonsense Reasoning (1991) pp. 59?69.

R. Goldblatt,Logics of Time and Computation (CSLI, 1987).

J. de Kleer, A. Mackworth and R. Reiter, Characterizing diagnoses,Proc. 8th National Conf. on Artificial Intelligence (AAAI-90) (1990) pp. 324?330.

R. Kowalski and M. Sergot, A logic-based calculus of events, New Generation Comp. 4(1986)67?95.

F. Kröger,Temporal Logic of Programs, Vol. 8 of EATCS Monographs on Theor. Comp. Sci. (Springer, 1987).

F. Lin and Y. Shoham, Provably correct theories of action (priliminary report),Proc. 9th National Conf. on Artificial Intelligence (AAAI-91) (1991) pp. 349?354.

F. Lin and Y. Shoham, Actions in the situation calculus,Working Notes of the 4th Int. Workshop on Nonmonotonic Reasoning (1992) pp. 133?138.

F. Maruyama and M. Fujita, Hardware verification, IEEE Comp. (February 1985) 22?32.

J. McCarthy and P.J. Hayes, Some philosophical problems from the standpoint of artificial intelligence, in:Machine Intelligence 4, eds. B. Meltzer and D. Michie (Edinburgh University Press, Edinburgh, 1969) pp. 463?502.

R. Miller and M. Shanahan, Narratives in the situation calculus, Technical Report, Department of Computing, Imperial College (1993).

R.C. Moore, A formal theory of knowledge and action, in:Formal Theories of the Commonsense World, eds. J.B. Hobbs and R.C. Moore (Ablex, Norwood, NJ, 1985) chap. 9, pp. 319?358.

B. Moszkowski, Reasoning about digital circuits, Ph.D. Thesis, Department of Computer Science, Stanford University (1983).

J. Pinto, Temporal reasoning in the situation calculus, Ph.D. Thesis, Department of Computer Science, University of Toronto, Toronto, Ontario (1994).

J. Pinto and R. Reiter, Temporal reasoning in logic programming: A case for the situation calculus,Proc. 10th Int. Conf. on Logic Programming, Budapest (1993).

A. Pnueli, The temporal semantics of concurrent programs, Theor. Comp. Sci. 13(1981)45?60.

R. Reiter, The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression,Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy (Academic Press, San Diego, CA, 1991) pp. 359?380.

R. Reiter, Proving properties of states in the situation calculus, Artificial Intelligence 64(1993)337?351.

L.K. Schubert, Monotonic solution of the frame problem in the situation calculus: An efficient method for worlds with fully specified actions, in:Knowledge Representation and Defeasible Reasoning, eds. H.E. Kyberg, R.P. Loui and G.N. Carlson (Kluwer Academic Press, 1990) pp. 23?67.

M. Shanahan, A circumscriptive calculus of events, Technical Report, Department of Computing, Imperial College (1992).

M. Shanahan, Explanation in the situation calculus,Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI-93) (1993) pp. 160?165.