A general first-order solution to the ramification problem with cycles

DOI10.1016/J.JAL.2013.05.003MaRDI QIDQ2446550zbMATH OpenOpenAlexFDO

Authors Hannes Strass, Michael Thielscher

Publication date 17 April 2014

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2013.05.003

zbMATH Keywords

causalitycyclic dependenciesindirect effectsramification problemreasoning about actions

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Ramification and causality
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• scientific article; zbMATH DE number 1989652
• State Constraints Revisited
• scientific article; zbMATH DE number 89002

Cites work

• \(\mathcal M\)odular-\(\mathcal E\) and the role of elaboration tolerance in solving the qualification problem
• A generalization of the Lin-Zhao theorem
• A logic-based calculus of events
• A simple declarative language for describing narratives with actions
• A unifying action calculus
• ASSAT: computing answer sets of a logic program by SAT solvers
• Frames in the space of situations
• Handbook of knowledge representation.
• How to Do Things with Worlds: on Formalizing Actions and Plans
• scientific article; zbMATH DE number 1989652 (Why is no real title available?)
• scientific article; zbMATH DE number 1931673 (Why is no real title available?)
• scientific article; zbMATH DE number 1820675 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Inductive situation calculus
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• Logic Programming and Nonmonotonic Reasoning
• Metatheory of actions: beyond consistency
• Ramification and causality
• Ramifications: An Extension and Correspondence Result for the Event Calculus
• Representing action and change by logic programs
• Using causal relationships to deal with the ramification problem in action formalisms based on description logics

Cited in

(3)

• Ramification and causality
• Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
• scientific article; zbMATH DE number 1989652 (Why is no real title available?)

Describes a project that uses

Uses Software

• ASSAT
• CCalc

This page was built for publication: A general first-order solution to the ramification problem with cycles

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