On the logic of causal explanation

DOI10.1016/S0004-3702(97)00057-XzbMath0901.03022MaRDI QIDQ1127347

Vladimir Lifschitz

Publication date: 13 August 1998

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

zbMATH Keywords

actionscircumscriptioncausal logic

Mathematics Subject Classification ID

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

Related Items

Bi-state Logic, Lifschitz and Circumscription, Representing first-order causal theories by logic programs, Characterizing causal action theories and their implementations in answer set programming, Functional completion, Causes and explanations in the structural-model approach: Tractable cases, Loop formulas for circumscription, Approximation of action theories and its application to conformant planning, Temporal representation and reasoning in artificial intelligence: A review, First-order stable model semantics with intensional functions, 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

Cites Work

• A logic for default reasoning
• Representing action and change by logic programs
• Unnamed Item
• Unnamed Item