Reconciling the event calculus with the situation calculus

Journal of Logic Programming

Volumn 31, Issue 1-3, 1997, Pages 39-58

  Kowalski, Robert ^a   Sadri, Fariba ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; FORMAL LOGIC; PROBLEM SOLVING;

EVENT CALCULUS; SITUATION CALCULUS;

LOGIC PROGRAMMING;

EID: 0031118374     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(96)00137-9     Document Type: Article

References (22)

1. Baker, A. B., Nonmonotonic Reasoning in the Framework of the Situation Calculus, Artificial Intelligence 49:5 (1991).
2. Charkravarthy, U. S., Grant, J., and Minker, J., Logic-Based Approach to Semantic Query Optimization, ACM Transactions on Database Systems 15(2):162-207 (1990).
3. Clark, K. L., Negation as Failure, in: H. Gallaire and J. Minker (eds.), Logic and Data Bases, Plenum Press, 1978, pp. 292-322.
4. Clark, K. L. and Tarnlund, S. A., A First-Order Theory of Data and Programs, in: Proceedings of IFIP, North Holland, 1977, pp. 939-944.
5. Eshghi, K., Abductive Planning with Event Calculus, in: R. A. Kowalski and K. A. Bowen (eds.), Proceedings of ICLP, MIT Press, 1988, pp. 562-579.
6. Kakas, A. and Miller, R., A Simple Declarative Language for Describing Narratives with Actions, Journal of Logic Programming 1997, 31:157-200.
7. Kautz, H., The Logic of Persistence, in: Proceedings of AAAI, 1986, pp. 401.
8. Kowalski, R. A., Logic for Problem Solving, Elsevier North-Holland, 1979.
9. Kowalski, R. A., Problems and Promises of Computational Logic, in: J. Lloyd (ed.), Computational Logic, Symposium Proceedings, Springer, 1990, pp. 80-95.
10. Kowalski, R. A., Database Updates in the Event Calculus, Journal of Logic Programming 12:121-146 (1992).
11. Kowalski, R. and Sadri, F., The Situation Calculus and Event Calculus Compared, in: M. Bruynooghe (ed.), Proceedings of ILPS, MIT Press, 1994, pp. 539-553.
12. Kowalski, R. A. and Sergot, M. J., A Logic-Based Calculus of Events, New Generation Computing 4:67-95 (1986).
13. Lloyd, J. W., Foundations of Logic Programming, Springer Verlag, Symbolic Computation Series, 1987.
14. McCarthy, J., Applications of Circumscription to Formalizing Common Sense Knowledge, Artificial Intelligence 26:89(1986).
15. Pinto, J. and Reiter, R., Temporal Reasoning in Logic Programming, a Case for the Situation Calculus, D. S. Warren (ed.), in: Proceedings of ICLP, MIT Press, 1993, pp. 203-221.
16. Reiter, R., Proving Properties of States in the Situation Calculus, Artificial Intelligence 64(2):337-351 (1993).
17. Sadri, F. and Kowalski, R., Variants of the Event Calculus, L. Stirling (ed.), in: Proceedings of ICLP, MIT Press, 1995, pp. 67-82.
18. Shanahan, M. P., Prediction Is Deduction but Explanation Is Abduction, in: Proceedings of IJCAI, 1989, pp. 1055-1060.
19. Shanahan, M. P., Explanation in the Situation Calculus, in: Proceedings of IJCAI, 1993, pp. 160-165.
20. Van Belleghem, K., Denecker, M., and De Schreye, D., Combining Situation Calculus and Event Calculus, in: L. Stirling (ed.), Proceedings of ICLP, MIT Press, 1995, pp. 83-97.
21. Van Belleghem, K., Denecker, M., and De Schreye, D., On the Relation between Situation Calculus and Event Calculus, Journal of Logic Programming 31:3-37, 1997.
22. Van Emden, M. H. and Kowalski, R. A., The Semantics of Predicate Logic as a Logic Programming Language, J. ACM 23(4):733-742 (1976).