Denecker, Marc

Interpretation of published papers

Code, Nr Citation

Code, Nr	Citation
1	`http://www.cs.kuleuven.ac.be/~kristof/papers/ICLPpaper-macro.ps` 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.

http://www.cs.kuleuven.ac.be/~kristof/papers/ICLPpaper-macro.ps

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.