On the logic of causal explanation

DOI10.1016/S0004-3702(97)00057-XMaRDI QIDQ1127347zbMATH OpenFDO

Authors Vladimir Lifschitz

Publication date 13 August 1998

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0004-3702(97)00057-X

zbMATH Keywords

actionscausal logiccircumscription

Mathematics Subject Classification ID

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

Recommendations

• Turner's logic of universal causation, propositional logic, and logic programming
• scientific article; zbMATH DE number 1931661
• Logic Programming and Nonmonotonic Reasoning
• Representing first-order causal theories by logic programs
• Logic Programming and Nonmonotonic Reasoning

Cites work

• A logic for default reasoning
• scientific article; zbMATH DE number 4174351 (Why is no real title available?)
• scientific article; zbMATH DE number 592368 (Why is no real title available?)
• Representing action and change by logic programs

Cited in

(21)

• First-order stable model semantics with intensional functions
• Characterizing causal action theories and their implementations in answer set programming
• Causes and explanations in the structural-model approach: Tractable cases
• Loop formulas for circumscription
• Turner's logic of universal causation, propositional logic, and logic programming
• Bi-state logic
• Lifschitz and Circumscription
• Representing first-order causal theories by logic programs
• scientific article; zbMATH DE number 5300190 (Why is no real title available?)
• scientific article; zbMATH DE number 140417 (Why is no real title available?)
• Functional completion
• scientific article; zbMATH DE number 1931661 (Why is no real title available?)
• Because Without Cause
• Causality and Attribution in an Aristotelian Theory
• Approximation of action theories and its application to conformant planning
• Temporal representation and reasoning in artificial intelligence: A review
• An inferential theory of causal reasoning
• Explanatory exclusion and causal exclusion
• SAT-based planning in complex domains: Concurrency, constraints and nondeterminism
• Complexity results for explanations in the structural-model approach
• A causal approach to nonmonotonic reasoning

This page was built for publication: On the logic of causal explanation

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