Situation calculus specifications for event calculus logic programs

DOI10.1007/3-540-59487-6_16MaRDI QIDQ5101452zbMATH OpenOpenAlexFDO

Authors Rob Miller

Publication date 30 August 2022

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.516.9807

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• scientific article; zbMATH DE number 1926646
• On the relation between situation calculus and event calculus
• Representing actions in logic programs and default theories a situation calculus approach
• Reconciling the event calculus with the situation calculus

Cites work

• A logic-based calculus of events
• scientific article; zbMATH DE number 3978351 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Narratives in the Situation Calculus
• Nonmonotonic reasoning in the framework of situation calculus
• Provably correct theories of action
• Representing Incomplete Knowledge in Abductive Logic Programming

Cited in

(17)

• A circumscriptive calculus of events
• Reasoning about time in the situation calculus
• Event calculus and temporal action logics compared
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Classical logic event calculus as answer set programming
• scientific article; zbMATH DE number 4166934 (Why is no real title available?)
• Occurrences and narratives as constraints in the branching structure of the situation calculus
• On the relation between situation calculus and event calculus
• Reconciling the event calculus with the situation calculus
• Representing actions in logic programs and default theories a situation calculus approach
• scientific article; zbMATH DE number 1754691 (Why is no real title available?)
• Event Calculus Reasoning Through Satisfiability
• scientific article; zbMATH DE number 1926646 (Why is no real title available?)
• scientific article; zbMATH DE number 1390347 (Why is no real title available?)
• A logic-based calculus of events
• Ramifications: An Extension and Correspondence Result for the Event Calculus
• A semantic characterization of a useful fragment of the situation calculus with knowledge

This page was built for publication: Situation calculus specifications for event calculus logic programs

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