Causal Logic Programming

DOI10.1007/978-3-642-30743-0_8MaRDI QIDQ2900512zbMATH OpenOpenAlexFDO

Authors Pedro Cabalar

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-30743-0_8

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Causal graph justifications of logic programs
• Representing first-order causal theories by logic programs
• CP-logic: A language of causal probabilistic events and its relation to logic programming
• Conceptual logic programs
• scientific article; zbMATH DE number 1453060
• scientific article; zbMATH DE number 1453059
• Coinductive Logic Programming
• scientific article; zbMATH DE number 1926617
• Constraint logic programming

Cites work

• scientific article; zbMATH DE number 1368933 (Why is no real title available?)
• A lattice-theoretical fixpoint theorem and its applications
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Equilibrium logic
• Explicit provability and constructive semantics
• Justifications for logic programs under answer set semantics
• Logic programs with stable model semantics as a constraint programming paradigm
• Nonmonotonic causal theories
• Nonmonotonic logic and temporal projection
• Ramification and causality
• The Semantics of Predicate Logic as a Programming Language

Cited in

(10)

• Deriving conclusions from non-monotonic cause-effect relations
• scientific article; zbMATH DE number 1453060 (Why is no real title available?)
• Representing the language of the causal calculator in answer set programming
• A complexity assessment for queries involving sufficient and necessary causes
• Digital forensics evidence analysis: an answer set programming approach for generating investigation hypotheses
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• Distant causation in \(\mathcal C+\)
• Causal graph justifications of logic programs
• Towards deriving conclusions from cause-effect relations
• Representing Causal Information About a Probabilistic Process

Describes a project that uses

Uses Software

• CCalc

This page was built for publication: Causal Logic Programming

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