Causal Logic Programming
From MaRDI portal
Publication:2900512
DOI10.1007/978-3-642-30743-0_8zbMATH Open1357.68028OpenAlexW154890827MaRDI QIDQ2900512FDOQ2900512
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
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
- Nonmonotonic causal theories
- Equilibrium logic
- A lattice-theoretical fixpoint theorem and its applications
- Explicit provability and constructive semantics
- Logic programs with stable model semantics as a constraint programming paradigm
- The Semantics of Predicate Logic as a Programming Language
- Title not available (Why is that?)
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Nonmonotonic logic and temporal projection
- Ramification and causality
- Justifications for logic programs under answer set semantics
Cited In (11)
- Causal graph justifications of logic programs
- A complexity assessment for queries involving sufficient and necessary causes
- Deriving conclusions from non-monotonic cause-effect relations
- Enablers and inhibitors in causal justifications of logic programs
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Representing Causal Information About a Probabilistic Process
- Title not available (Why is that?)
- Digital forensics evidence analysis: an answer set programming approach for generating investigation hypotheses
- Representing the language of the causal calculator in answer set programming
- Distant causation in \(\mathcal C+\)
- Towards deriving conclusions from cause-effect relations
Uses Software
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)
