A circumscriptive calculus of events

DOI10.1016/0004-3702(94)00036-ZMaRDI QIDQ1855238zbMATH OpenFDO

Authors Murray Shanahan

Publication date 4 February 2003

Published in Artificial Intelligence (Search for Journal in Brave)

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1926646
• Ramifications: An Extension and Correspondence Result for the Event Calculus
• The concurrent, continuous fluent calculus
• Situation calculus specifications for event calculus logic programs
• A Monotonic Formalism for Events and Systems of Events

Cites work

• scientific article; zbMATH DE number 4174343 (Why is no real title available?)
• scientific article; zbMATH DE number 4174354 (Why is no real title available?)
• scientific article; zbMATH DE number 4174356 (Why is no real title available?)
• scientific article; zbMATH DE number 4166881 (Why is no real title available?)
• scientific article; zbMATH DE number 4166923 (Why is no real title available?)
• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 140402 (Why is no real title available?)
• scientific article; zbMATH DE number 592370 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• scientific article; zbMATH DE number 3395365 (Why is no real title available?)
• A logic-based calculus of events
• Circumscription - a form of non-monotonic reasoning
• Frames in the space of situations
• Miracles in formal theories of action
• Narratives in the Situation Calculus
• Nonmonotonic logic and temporal projection
• Nonmonotonic reasoning in the framework of situation calculus

Cited in

(14)

• Natural events
• McCarthy variations in a modal key
• Formalizing narratives using nested circumscription
• A unifying action calculus
• A comparison of point-based approaches to qualitative temporal reasoning
• Reasoning about time in the situation calculus
• Between the event calculus and finite state temporality
• A Monotonic Formalism for Events and Systems of Events
• The concurrent, continuous fluent calculus
• Ramifications: An Extension and Correspondence Result for the Event Calculus
• scientific article; zbMATH DE number 10545 (Why is no real title available?)
• scientific article; zbMATH DE number 1444722 (Why is no real title available?)
• Argumentation and the event calculus
• Event Calculus Reasoning Through Satisfiability

This page was built for publication: A circumscriptive calculus of events

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1855238)