|
Search the dblp DataBase
Kristof Van Belleghem:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye
Using Event Calculus for Protocol Specification: An Experiment. [Citation Graph (0, 0)][DBLP] Deductive Databases / Abduction in Deductive Databases, 1995, pp:187-201 [Conf]
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye
Representing Continuous Change in the Abductive Event Calculus. [Citation Graph (0, 0)][DBLP] ICLP, 1994, pp:225-239 [Conf]
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye
Combining Situation Calculus and Event Calculus. [Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:83-97 [Conf]
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye
A Strong Correspondence between Description Logics and Open Logic Programming. [Citation Graph (0, 0)][DBLP] ICLP, 1997, pp:346-360 [Conf]
- Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification. [Citation Graph (0, 0)][DBLP] JICSLP, 1996, pp:170-184 [Conf]
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye
The Abductive Event Calculus as a General Framework for Temporal Databases. [Citation Graph (0, 0)][DBLP] ICTL, 1994, pp:301-316 [Conf]
- Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem
An Inductive Definition Approach to Ramifications. [Citation Graph (0, 0)][DBLP] Electron. Trans. Artif. Intell., 1998, v:2, n:, pp:25-67 [Journal]
- Kristof Van Belleghem, Marc Denecker, Danny De Schreye
On the Relation Between Situation Calculus and Event Calculus. [Citation Graph (0, 0)][DBLP] J. Log. Program., 1997, v:31, n:1-3, pp:3-37 [Journal]
Search in 0.003secs, Finished in 0.003secs
|