List of papers:
- Representing Continuous Change in the Abductive Event Calculus
(by Kristof Van Belleghem, Marc Denecker and Danny De Schreye)
published in : Proceedings of the International Conference on Logic Programming, 1994.
- The Abductive Event Calculus as a General Framework for Temporal Databases
(by Kristof Van Belleghem, Marc Denecker and Danny De Schreye)
published in : Proceedings of the International Conference on Temporal Logic, 1994.
- Combining Situation Calculus and Event Calculus
(by Kristof Van Belleghem, Marc Denecker and Danny De Schreye)
published in : Proceedings of the International Conference on Logic Programming, 1995.
- A Realistic Experiment in Knowledge Representation in Open Event Calculus : Protocol Specification
(by Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens and Danny De Schreye)
published in : Proceedings of the Joint International Conference and Symposium on Logic Programming, 1996.
- On the relation between Situation Calculus and Event Calculus
(by Kristof Van Belleghem, Marc Denecker and Danny De Schreye)
published in: Journal of Logic Programming, special issue on Reasoning about Actions, 1997.
- A Strong Correspondence between Description Logics and Open Logic Programming
(by Kristof Van Belleghem, Marc Denecker and Danny De Schreye)
published in: Proceedings of the International Conference on Logic Programming, 1997.
- Representing Ramifications in an Event-based Language
(by Kristof Van Belleghem, Marc Denecker and Daniele Theseider Dupre)
Technical Report CW 257, Department of Computer Science, K.U.Leuven.
- Ramifications in an Event-based Language
(by Kristof Van Belleghem, Marc Denecker and Daniele Theseider Dupre)
published in : Proceedings of the Dutch Artificial Intelligence Conference, 1997;
this is an early version of the essence of the previous paper on the list - we
strongly recommend the newer version.