Event calculus and temporal action logics compared

DOI10.1016/j.artint.2006.05.001zbMath1131.68106OpenAlexW1979739245MaRDI QIDQ2457610

Erik T. Mueller

Publication date: 23 October 2007

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

Full work available at URL: https://doi.org/10.1016/j.artint.2006.05.001

zbMATH Keywords

commonsense reasoningreasoning about action and changeevent calculustemporal action logics (TAL)

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Related Items

A unifying action calculus ⋮ A probabilistic interval-based event calculus for activity recognition

Uses Software

• CCalc

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
• A unifying semantics for time and events
• Nonmonotonic causal theories
• A new deductive approach to planning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning in the framework of situation calculus
• Artificial intelligence today. Recent trends and development
• Proving properties of states in the situation calculus
• From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
• The qualification problem: A solution to the problem of anomalous models
• Reasoning robots. The art and science of programming robotic agents
• STRIPS: A new approach to the application of theorem proving to problem solving
• Representing action and change by logic programs
• On the relation between situation calculus and event calculus
• Reconciling the event calculus with the situation calculus
• A simple declarative language for describing narratives with actions
• An abductive event calculus planner
• Event Calculus Reasoning Through Satisfiability