Kristof Van Belleghem

According to our database, Kristof Van Belleghem authored at least 9 papers between 1994 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Temporal Reasoning with iff-Abduction.

Marc Denecker, Kristof Van Belleghem

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

1998

An Inductive Definition Approach to Ramifications.

Marc Denecker, Daniele Theseider Dupré, Kristof Van Belleghem

Electron. Trans. Artif. Intell., 1998

1997

On the Relation Between Situation Calculus and Event Calculus.

Kristof Van Belleghem, Marc Denecker, Danny De Schreye

J. Log. Program., 1997

A Strong Correspondence between Description Logics and Open Logic Programming.

Kristof Van Belleghem, Marc Denecker, Danny De Schreye

Proceedings of the Logic Programming, 1997

1996

A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification.

Marc Denecker, Kristof Van Belleghem, Guy Duchatelet, Frank Piessens, Danny De Schreye

Proceedings of the Logic Programming, 1996

1995

Combining Situation Calculus and Event Calculus.

Kristof Van Belleghem, Marc Denecker, Danny De Schreye

Proceedings of the Logic Programming, 1995

Using Event Calculus for Protocol Specification: An Experiment.

Marc Denecker, Guy Duchatelet, Frank Piessens, Kristof Van Belleghem, Danny De Schreye

Proceedings of the Deductive Databases and Logic Programming, 1995

1994

The Abductive Event Calculus as a General Framework for Temporal Databases.

Kristof Van Belleghem, Marc Denecker, Danny De Schreye

Proceedings of the Temporal Logic, First International Conference, 1994

Representing Continuous Change in the Abductive Event Calculus.

Kristof Van Belleghem, Marc Denecker, Danny De Schreye

Proceedings of the Logic Programming, 1994