Actual causation in CP-logic

DOI10.1017/S1471068411000226zbMath1231.03007arXiv1107.4865OpenAlexW2132364178MaRDI QIDQ3087450

Joost Vennekens

Publication date: 16 August 2011

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.4865

zbMATH Keywords

dynamic semanticsactual causationCP-logicprobabilistic logic programming language

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Philosophical and critical aspects of logic and foundations (03A05) Logic programming (68N17)

Related Items (7)

Enablers and Inhibitors in Causal Justifications of Logic Programs ⋮ A general framework for defining and extending actual causation using CP-logic ⋮ A Complexity Assessment for Queries Involving Sufficient and Necessary Causes ⋮ Justifications for programs with disjunctive and causal-choice rules ⋮ Deriving conclusions from non-monotonic cause-effect relations ⋮ A principled approach to defining actual causation ⋮ Explaining Preferences and Preferring Explanations

Cites Work

• Unnamed Item
• Unnamed Item

This page was built for publication: Actual causation in CP-logic