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

DOI10.1007/978-3-642-40564-8_40MaRDI QIDQ2851270zbMATH OpenOpenAlexFDO

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)