Causal Graph Justifications of Logic Programs

DOI10.1017/S1471068414000234zbMath1309.68028arXiv1409.7281OpenAlexW2109826876WikidataQ57718988 ScholiaQ57718988MaRDI QIDQ2931267

Michael Fink, Jorge Fandinno, Pedro Cabalar

Publication date: 25 November 2014

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

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

zbMATH Keywords

knowledge representationcausalityanswer set programmingstable model semanticsmulti-valued logic programming

Mathematics Subject Classification ID

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

Related Items (13)

Witnesses for Answer Sets of Logic Programs ⋮ Enablers and Inhibitors in Causal Justifications of Logic Programs ⋮ A Formal Theory of Justifications ⋮ 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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming ⋮ Explaining Preferences and Preferring Explanations ⋮ Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms ⋮ Answering the “why” in answer set programming – A survey of explanation approaches ⋮ Abstraction for non-ground answer set programs

Cites Work

• Unnamed Item
• Equilibrium logic
• Free distributive completions of partial complete lattices
• Ramification and causality
• 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 Graph Justifications of Logic Programs