Situation Calculus Specifications for Event Calculus Logic Programs

Authors:
Rob Miller
Affiliations:
-
Venue:
LPNMR '95 Proceedings of the Third International Conference on Logic Programming and Nonmonotonic Reasoning
Year:
1995

Citing 0
Cited 3

The Logical Approach to Temporal Reasoning

Artificial Intelligence Review
Relating logic programming theories of actions and partial order planning

Annals of Mathematics and Artificial Intelligence
Some Alternative Formulations of the Event Calculus

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract