A circumscriptive calculus of events

DOI10.1016/0004-3702(94)00036-ZzbMath1013.68559MaRDI QIDQ1855238

Murray Shanahan

Publication date: 4 February 2003

Published in: Artificial Intelligence (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items

Reasoning about time in the situation calculus, A unifying action calculus, McCarthy variations in a modal key, Formalizing narratives using nested circumscription, A comparison of point-based approaches to qualitative temporal reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic-based calculus of events
• Nonmonotonic logic and temporal projection
• Circumscription - a form of non-monotonic reasoning
• Frames in the space of situations
• Nonmonotonic reasoning in the framework of situation calculus
• Miracles in formal theories of action
• Narratives in the Situation Calculus