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.
- A terminological interpretation of (Abductive) Logic Programming
(by Marc Denecker)
published in : Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning, 1995.
- Representing Incomplete Knowledge in Abductive Logic Programming
(by Marc Denecker and Danny De Schreye)
published in : Journal of Logic and Computation vol. 5 nr. 5, p. 443-578, 1995.
- 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.
- Fixpoint 3-valued semantics for autoepistemic logic
(by Marc Denecker, Victor Marek and Miroslaw Truszczynski); to appear in NM'98,
Seventh International Workshop on Nonmonotonic Reasoning, Trento, Italy, May 30 - June 1, 1998.
To appear in AAAI'98, July, 1998.
- The Well-founded Semantics Is the Principle of Inductive Definition
(by Marc Denecker); presented at NM'98, Seventh International Workshop
on Nonmonotonic Reasoning, Trento, Italy, May 30 - June 1, 1998.
To appear at Jelia'98, Schloss Dagstuhl, October 12 - 15, 1998.