Causal Logic Programming

DOI10.1007/978-3-642-30743-0_8zbMath1357.68028OpenAlexW154890827MaRDI QIDQ2900512

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)

Related Items (1)

Digital Forensics Evidence Analysis: An Answer Set Programming Approach for Generating Investigation Hypotheses

Uses Software

• CCalc

Cites Work

• Unnamed Item
• Nonmonotonic causal theories
• Equilibrium logic
• Nonmonotonic logic and temporal projection
• Ramification and causality
• Logic programs with stable model semantics as a constraint programming paradigm
• A lattice-theoretical fixpoint theorem and its applications
• Explicit Provability and Constructive Semantics
• Justifications for logic programs under answer set semantics
• The Semantics of Predicate Logic as a Programming Language
• Causes and Explanations: A Structural-Model Approach. Part I: Causes

This page was built for publication: Causal Logic Programming