The Event Calculus Explained

This publication has 13 references indexed in Scilit:

• Ramification and causality
  Artificial Intelligence, 1997
• Database updates in the event calculus
  The Journal of Logic Programming, 1992
• Nonmonotonic reasoning in the framework of situation calculus
  Artificial Intelligence, 1991
• The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
  Published by Elsevier ,1991
• What Are the Limitations of the Situation Calculus?
  Published by Springer Nature ,1991
• Nonmonotonic logic and temporal projection
  Artificial Intelligence, 1987
• The Case for Domain-Specific Frame Axioms
  Published by Elsevier ,1987
• A logic-based calculus of events
  New Generation Computing, 1986
• Circumscription—A form of non-monotonic reasoning
  Artificial Intelligence, 1980
• A logic for default reasoning
  Artificial Intelligence, 1980