A logic of universal causation

DOI10.1016/S0004-3702(99)00058-2MaRDI QIDQ1978380zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 4 June 2000

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0004-3702(99)00058-2

zbMATH Keywords

causal knowledgecausal logiccommonsense reasoningnonmonotonic logicreasoning about actions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Nonmonotonic causal theories
• Conditional logic of actions and causation
• Logic Programming and Nonmonotonic Reasoning
• scientific article; zbMATH DE number 1931675
• Ramification and causality in a modal action logic

Cited in

(28)

• Default logic generalized and simplified
• Complexity results for structure-based causality.
• Predicting causality ascriptions from background knowledge: model and experimental validation
• Extended causal theories
• Characterizing causal action theories and their implementations in answer set programming
• A Church-Fitch proof for the universality of causation
• Causes and explanations in the structural-model approach: Tractable cases
• Turner's logic of universal causation, propositional logic, and logic programming
• From Turner's logic of universal causation to the logic of GK
• Action models for conditionals
• Representing actions in logic programs and default theories a situation calculus approach
• scientific article; zbMATH DE number 1500583 (Why is no real title available?)
• Modular action language \(\mathcal{ALM}\)
• A weighted causal theory for acquiring and utilizing open knowledge
• scientific article; zbMATH DE number 1931661 (Why is no real title available?)
• scientific article; zbMATH DE number 1931675 (Why is no real title available?)
• scientific article; zbMATH DE number 6163265 (Why is no real title available?)
• scientific article; zbMATH DE number 1453059 (Why is no real title available?)
• A declarative approach to distributed computing: specification, execution and analysis
• Logic Programming and Nonmonotonic Reasoning
• Logic Programming and Nonmonotonic Reasoning
• An inferential theory of causal reasoning
• Reasoning about action and change
• The frame problem and the semantics of classical proofs
• Nonmonotonic causal theories
• Complexity results for explanations in the structural-model approach
• Conditional logic of actions and causation
• A causal approach to nonmonotonic reasoning

This page was built for publication: A logic of universal causation

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