Kristof Van Belleghem

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2005
Temporal Reasoning with iff-Abduction.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

1998
An Inductive Definition Approach to Ramifications.
Electron. Trans. Artif. Intell., 1998

1997
On the Relation Between Situation Calculus and Event Calculus.
J. Log. Program., 1997

A Strong Correspondence between Description Logics and Open Logic Programming.
Proceedings of the Logic Programming, 1997

1996
A Realistic Experiment in Knowledge Representation in Open Event Calculus: Protocol Specification.
Proceedings of the Logic Programming, 1996

1995
Combining Situation Calculus and Event Calculus.
Proceedings of the Logic Programming, 1995

Using Event Calculus for Protocol Specification: An Experiment.
Proceedings of the Deductive Databases and Logic Programming, 1995

1994
The Abductive Event Calculus as a General Framework for Temporal Databases.
Proceedings of the Temporal Logic, First International Conference, 1994

Representing Continuous Change in the Abductive Event Calculus.
Proceedings of the Logic Programming, 1994


  Loading...