Event Calculus Reasoning Through Satisfiability

DOI10.1093/LOGCOM/14.5.703MaRDI QIDQ4659506zbMATH OpenOpenAlexFDO

Authors Erik T. Mueller

Publication date 21 March 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/a1b106ccca44ce6d202393923d0cf9423ef1a855

zbMATH Keywords

automated deductioncommonsense reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Event Calculus Planning Through Satisfiability
• scientific article; zbMATH DE number 1926646
• A circumscriptive calculus of events
• A logic-based, reactive calculus of events
• Situation calculus specifications for event calculus logic programs

Cited in

(19)

• A graph-theoretic approach to efficiently reason about partially ordered events in (Modal) Event Calculus
• An event-based fragment of first-order logic over intervals
• Event calculus and temporal action logics compared
• Event domains, stable functions and proof-nets
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• A logic-based, reactive calculus of events
• Classical logic event calculus as answer set programming
• scientific article; zbMATH DE number 4208063 (Why is no real title available?)
• Constraint logic programming for reasoning about discrete event processes
• scientific article; zbMATH DE number 1231548 (Why is no real title available?)
• scientific article; zbMATH DE number 1487732 (Why is no real title available?)
• An event calculus production rule system for reasoning in dynamic and uncertain domains
• Event Calculus Planning Through Satisfiability
• scientific article; zbMATH DE number 5587277 (Why is no real title available?)
• Reasoning in event-based distributed systems
• Modeling and Reasoning in Event Calculus using Goal-Directed Constraint Answer Set Programming
• Combining event calculus and description logic reasoning via logic programming
• Nonmonotonic abductive inductive learning
• Approximate postdictive reasoning with answer set programming

This page was built for publication: Event Calculus Reasoning Through Satisfiability

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