Combining Situation Calculus and Event Calculus

@inproceedings{Belleghem1995CombiningSC,
  title={Combining Situation Calculus and Event Calculus},
  author={Kristof Van Belleghem and Marc Denecker and Danny De Schreye},
  booktitle={ICLP},
  year={1995}
}
In this paper we study the diierences between two logic theories for temporal reasoning, the Situation Calculus and the Event Calculus, and the implications of these diierences. We construct a new formalism that combines the advantages of both Situation and Event Calculus and avoids the problems of either. The new formalism is useful for general temporal reasoning in worlds with discrete and continuous change, and enables representation of a wide range of hypothetical temporal reasoning… CONTINUE READING

From This Paper

Topics from this paper.
17 Citations
23 References
Similar Papers

Citations

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

Similar Papers

Loading similar papers…