Embracing background knowledge in the analysis of actual causality: an answer set programming approach

DOI10.1017/S1471068423000248MaRDI QIDQ7027199zbMATH OpenFDO

Authors Michael Gelfond, Jorge Fandinno, Evgenii Balai

Publication date 14 February 2025

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

Full work available at URL https://doi.org/10.1017/S1471068423000248

zbMATH Keywords

answer-set programmingcausalityknowledge representation

Mathematics Subject Classification ID

Logic programming (68N17) Knowledge representation (68T30)

Cites work

• <scp>Core</scp>ALM<scp>lib</scp>: An library translated from the <scp>Component Library</scp>
• A general framework for defining and extending actual causation using CP-logic
• A principled approach to defining actual causation
• Actual causation and the art of modeling
• Actual causation in CP-logic
• Causal graph justifications of logic programs
• Causality and Counterfactuals in the Situation Calculus
• Causality. Models, reasoning, and inference
• Explaining actual causation in terms of possible causal processes
• Explaining actual causation via reasoning about actions and change
• scientific article; zbMATH DE number 7455713 (Why is no real title available?)
• scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• P-log: refinement and a new coherency condition
• Probabilistic reasoning with answer sets
• Towards deriving conclusions from cause-effect relations

Cited in

(1)

• Twist sequent calculi for S4 and its neighbors

This page was built for publication: Embracing background knowledge in the analysis of actual causality: an answer set programming approach

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