| 1998 |
|---|
| 8 | EE | Marc Denecker,
Daniele Theseider Dupré,
Kristof Van Belleghem:
An Inductive Definition Approach to Ramifications.
Electron. Trans. Artif. Intell. 2: 25-67 (1998) |
| 1997 |
|---|
| 7 | | Kristof Van Belleghem,
Marc Denecker,
Danny De Schreye:
A Strong Correspondence between Description Logics and Open Logic Programming.
ICLP 1997: 346-360 |
| 6 | | Kristof Van Belleghem,
Marc Denecker,
Danny De Schreye:
On the Relation Between Situation Calculus and Event Calculus.
J. Log. Program. 31(1-3): 3-37 (1997) |
| 1996 |
|---|
| 5 | | Marc Denecker,
Kristof Van Belleghem,
Guy Duchatelet,
Frank Piessens,
Danny De Schreye:
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification.
JICSLP 1996: 170-184 |
| 1995 |
|---|
| 4 | | Marc Denecker,
Guy Duchatelet,
Frank Piessens,
Kristof Van Belleghem,
Danny De Schreye:
Using Event Calculus for Protocol Specification: An Experiment.
Deductive Databases / Abduction in Deductive Databases 1995: 187-201 |
| 3 | | Kristof Van Belleghem,
Marc Denecker,
Danny De Schreye:
Combining Situation Calculus and Event Calculus.
ICLP 1995: 83-97 |
| 1994 |
|---|
| 2 | | Kristof Van Belleghem,
Marc Denecker,
Danny De Schreye:
Representing Continuous Change in the Abductive Event Calculus.
ICLP 1994: 225-239 |
| 1 | | Kristof Van Belleghem,
Marc Denecker,
Danny De Schreye:
The Abductive Event Calculus as a General Framework for Temporal Databases.
ICTL 1994: 301-316 |
