Conditional logic of actions and causation

DOI10.1016/J.ARTINT.2004.04.009zbMath1085.68160OpenAlexW1976584123WikidataQ58207627 ScholiaQ58207627MaRDI QIDQ814610

Laura Giordano, Camilla B. Schwind

Publication date: 7 February 2006

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

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

zbMATH Keywords

Action logicsConditional logicsReasoning about causality

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Related Items (4)

Situated conditional reasoning ⋮ ON FORMALIZING CAUSATION BASED ON CONSTANT CONJUNCTION THEORY ⋮ Theorem proving for conditional logics: CondLean and GOALDUCK ⋮ Explanation in artificial intelligence: insights from the social sciences

Uses Software

• CCalc

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Notes on conditional logic
• Nonmonotonic causal theories
• On first-order conditional logics
• Causation
• Five faces of minimality
• Ramification and causality
• A logic of universal causation
• How to Do Things with Worlds: on Formalizing Actions and Plans
• Representing actions in logic programs and default theories a situation calculus approach
• Updates and counterfactuals
• Ramification and causality in a modal action logic
• Formalizing action and change in modal logic I: the frame problem
• Automated Reasoning with Analytic Tableaux and Related Methods

This page was built for publication: Conditional logic of actions and causation