Turner's logic of universal causation, propositional logic, and logic programming

DOI10.1007/978-3-642-40564-8_40MaRDI QIDQ2851270zbMATHOpenAlexFDO

Authors Jianmin Ji, Fangzhen Lin

Publication date 10 October 2013

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40564-8_40

Mathematics Subject Classification ID

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

Recommendations

• From Turner's logic of universal causation to the logic of GK
• On the logic of causal explanation
• A logic of universal causation
• Representing first-order causal theories by logic programs
• scientific article; zbMATH DE number 1931661

Cited in

(2)

• scientific article; zbMATH DE number 1931661 (Why is no real title available?)
• From Turner's logic of universal causation to the logic of GK

Describes a project that uses

Uses Software

• GNT

This page was built for publication: Turner's logic of universal causation, propositional logic, and logic programming

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