The Abductive Event Calculus as a General Framework for Temporal Databases

@inproceedings{Belleghem1994TheAE,
  title={The Abductive Event Calculus as a General Framework for Temporal Databases},
  author={Kristof Van Belleghem and Marc Denecker and Danny De Schreye},
  booktitle={ICTL},
  year={1994}
}
In earlier work, we have shown that the formalism of ab-ductive logic programs with FOL integrity constraints provides, under a completion semantics, the same declarative expressivity for representing incomplete information as full rst order logic. We have shown how the combination of this formalism with a variant of the Event Calculus of Kowalski and Sergot results in a correct and very expressive framework for temporal reasoning and representation. In this paper we demonstrate how this… CONTINUE READING
Highly Cited
This paper has 19 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 11 extracted citations

The Logical Approach to Temporal Reasoning

Artificial Intelligence Review • 2001
View 7 Excerpts
Highly Influenced

Abduction in Logic Programming

Computational Logic: Logic Programming and Beyond • 2002
View 1 Excerpt

Some Alternative Formulations of the Event Calculus

Computational Logic: Logic Programming and Beyond • 2002
View 3 Excerpts

Representing Rami cations in anEvent-based LanguageKristof

LanguageKristof Van Belleghem Marc DeneckerDaniele Theseider Dupr
1997
View 1 Excerpt

References

Publications referenced by this paper.
Showing 1-10 of 22 references

Logic for problem solving

The computer science library : Artificial intelligence series • 1979
View 8 Excerpts
Highly Influenced

Abductive Planning with Event Calculus

ICLP/SLP • 1988
View 5 Excerpts
Highly Influenced

Constructive abduction in logic programming

A. Kakas, P. Mancarella
Tech nical report, Dipartimento di Informatica, University of Pisa, • 1993
View 1 Excerpt

Knowledge Representation and Reasoning in Incomplete Logic Pro gramming

M. Denecker
PhD thesis, Department of Computer Science, K.U.Leuven, • 1993
View 1 Excerpt

Database Updates in the Event Calculus

J. Log. Program. • 1992
View 2 Excerpts

Describing Action and Change by Logic Programs

M. Gelfond, V. Lifschitz
In Proc. of the 9th Int. Joint Conf. and Symp. on Logic Programming, • 1992
View 1 Excerpt

Similar Papers

Loading similar papers…