On the relation between situation calculus and event calculus

Journal of Logic Programming

Volumn 31, Issue 1-3, 1997, Pages 3-37

  Van Belleghem, Kristof ^a   Denecker, Marc ^b   De Schreye, Danny ^b  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b NONE

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; FORMAL LOGIC; KNOWLEDGE BASED SYSTEMS;

EVENT CALCULUS; LOGIC BASED TEMPORAL REASONING FORMALISMS; SITUATION CALCULUS;

LOGIC PROGRAMMING;

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

References (30)

1. Apt, K. R. and Bezem, M., Acyclic Programs, in: Proceedings of the International Conference on Logic Programming, MIT Press, 1990, pp. 579-597.
2. Baker, A. B., Nonmonotonic Reasoning in the Framework of the Situation Calculus, Artificial Intelligence 49:5-23 (1991).
3. Clark, K. L., Negation as Failure, in: H. Gallaire and J. Minker (eds.), Logic and Databases, Plenum Press, 1978, pp. 293-322.
4. Console, L., Theseider Dupre, D., and Torasso, P., On the Relationship between Abduction and Deduction, Journal of Logic and Computation 1(5):661-690 (1991).
5. Denecker, M., Knowledge Representation and Reasoning in Incomplete Logic Programming, Ph.D. Thesis, Department of Computer Science, K. U. Leuven, 1993.
6. Denecker, M., A Terminological Interpretation of (Abductive) Logic Programming, in: International Conference on Logic Programming and Nonmonotonic Reasoning, Lecture Notes in Artificial Intelligence 928, Springer, 1995.
7. Denecker, M. and De Schreye, D., Representing Incomplete Knowledge in Abductive Logic Programming, Journal of Logic and Computation (1994).
8. Denecker, M., Missiaen, L., and Bruynooghe, M., Temporal Reasoning with Abductive Event Calculus, in: Proceedings of ECAI 92, Vienna, 1992.
9. Eshghi, K., Abductive Planning with Event Calculus, in: R. A. Kowalski and K. A. Bowen (eds.), Proceedings of the 5th ICLP, 1988.
10. Evans, C., Negation as Failure as an Approach to the Hanks and McDermott Problem, in: Proceedings of the Second International Symposium on Artificial Intelligence, 1989.
11. Gelfond, M. and Lifschitz, V., Describing Action and Change by Logic Programs, in: Proceedings of the 9th International Joint Conference and Symposium on Logic Programming, 1992.
12. Neelakantan Kartha, G., Soundness and Completeness Theorems for Three Formalizations of Action, in: Proceedings of IJCAI-93, 1993, pp. 724-729.
13. Neelakantan Kartha, G. and Lifschitz, V., Actions with Indirect Effects (Preliminary Report), in: Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning, 1994, pp. 341-350.
14. Kowalski, R. and Sadri, F., The Situation Calculus and Event Calculus Compared, in: M. Bruynooghe (ed.), Proceedings of ILPS 1994, 1994.
15. Kowalski, R. A., Database Updates in the Event Calculus, Journal of Logic Programming, 1992.
16. Kowalski, R. A. and Sergot, M., A Logic-Based Calculus of Events, New Generation Computing 4(4):319-340 (1986).
17. McCarthy, J. and Hayes, P. J., Some Philosophical Problems from the Standpoint of Artificial Intelligence, in: B. Meltzer and D. Michie (eds.), Machine Intelligence 4, Edinburgh University Press, 1969, pp. 463-502.
18. Missiaen, L., Localized Abductive Planning with the Event Calculus, Ph.D. Thesis, Department of Computer Science, K. U. Leuven, 1991.
19. Pednault, E., ADL: Exploring the Middle Ground between Strips and the Situation Calculus, in: H. Levesque, R. Brachman, and R. Reiter (eds.), Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, 1989, pp. 324-332.
20. Pinto, J. and Reiter, R., Temporal Reasoning in Logic Programming: A Case for the Situation Calculus, in: Proceedings of the International Conference on Logic Programming, 1993, pp. 203-221.
21. Reiter, R., The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression, in: V. Lifschitz (ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Academic Press, 1991, pp. 359-380.
22. Reiter, R., Formalizing Database Evolution in the Situation Calculus, in: Proceedings of the International Conference on Fifth Generation Computer Systems, 1992, pp. 600-609.
23. Miller, R. S. and Shanahan, M. P., Narratives in the Situation Calculus, Journal of Logic and Computation 4(5):513-530 (1994).
24. Sadri, F. and Kowalski, R., Variants of the Event Calculus, in: L. Sterling (ed.), Proceedings of the International Conference on Logic Programming 1995, 1995.
25. Schubert, L., Monotonic Solution of the Frame Problem in the Situation Calculus, in: H. E. Kyburg, Jr. et al. (eds.), Knowledge Representation and Defeasible Reasoning, Kluwer Academic Publishers, 1990, pp. 23-67.
26. Shanahan, M., Prediction Is Deduction but Explanation is Abduction, in: Proceedings of IJCAI 89, 1989, p. 1055.
27. Shanahan, M., Representing Continuous Change in the Event Calculus, in: Proceedings of the 9th ECAI, 1990, p. 598.
28. Thielscher, M., Representing Actions in Equational Logic Programming in: P. Van Hentenrijck (ed.), Proceedings of the International Conference on Logic Programming 1994, 1994.
29. Van Belleghem, K., Denecker, M., and De Schreye, D., Representing Continuous Change in the Abductive Event Calculus, in: P. Van Hentenrijck (ed.), Proceedings of the International Conference on Logic Programming 1994, 1994, pp. 225-240.
30. Van Belleghem, K., Denecker, M., and De Schreye, D., Combining Situation Calculus and Event Calculus, in: L. Sterling (ed.), Proceedings of the International Conference on Logic Programming 1995, 1995.