| Code, Nr | Citation |
|---|---|
1 | NIL List of papers: |
2 | http://www.cs.kuleuven.ac.be/~kristof/papers/ICLPpaper-macro.ps 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. |
3 | http://www.cs.kuleuven.ac.be/~kristof/papers/temprer.ps 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. |
4 | http://www.cs.kuleuven.ac.be/~kristof/papers/supercalc.ps 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. |
5 | http://www.cs.kuleuven.ac.be/~kristof/papers/iclp96.ps 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. |
6 | NIL 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. |
7 | http://www.cs.kuleuven.ac.be/~kristof/papers/terminology.ps 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. |
8 | http://www.cs.kuleuven.ac.be/~kristof/papers/longpaper.ps 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. |
9 | http://www.cs.kuleuven.ac.be/~kristof/papers/naicpaper.ps 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. |