Representing Continuous Change in the Abductive Event Calculus. - Kristof Van Belleghem; Marc Denecker; Danny De Schreye (ICLP, 1994)

The Abductive Event Calculus as a General Framework for Temporal Databases. - Kristof Van Belleghem; Marc Denecker; Danny De Schreye (ICTL, 1994)

Using Event Calculus for Protocol Specification: An Experiment. - Marc Denecker; Guy Duchatelet; Frank Piessens; Kristof Van Belleghem; Danny De Schreye (Deductive Databases / Abduction in Deductive Databases, 1995)

Combining Situation Calculus and Event Calculus. - Kristof Van Belleghem; Marc Denecker; Danny De Schreye (ICLP, 1995)

A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. - Marc Denecker; Kristof Van Belleghem; Guy Duchatelet; Frank Piessens; Danny De Schreye (JICSLP, 1996)

A Strong Correspondence between Description Logics and Open Logic Programming. - Kristof Van Belleghem; Marc Denecker; Danny De Schreye (ICLP, 1997)

On the Relation Between Situation Calculus and Event Calculus. - Kristof Van Belleghem; Marc Denecker; Danny De Schreye (J. Log. Program., 1997)

An Inductive Definition Approach to Ramifications. - Marc Denecker; Daniele Theseider Dupré; Kristof Van Belleghem (Electron. Trans. Artif. Intell., 1998)

Temporal Reasoning with iff-Abduction. - Marc Denecker; Kristof Van Belleghem (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)