Causal Logic Programming
From MaRDI portal
Publication:2900512
DOI10.1007/978-3-642-30743-0_8zbMATH Open1357.68028OpenAlexW154890827MaRDI QIDQ2900512FDOQ2900512
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 (6)
- Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Representing Causal Information About a Probabilistic Process
- Title not available (Why is that?)
- Representing the language of the causal calculator in answer set programming
- Distant causation in \(\mathcal C+\)
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)
