Justifications for Logic Programming
From MaRDI portal
Publication:2851284
DOI10.1007/978-3-642-40564-8_53zbMath1405.68053OpenAlexW953051941WikidataQ58198069 ScholiaQ58198069MaRDI QIDQ2851284
Anastasia Analyti, Carlos Viegas Damásio, Grigoris Antoniou
Publication date: 10 October 2013
Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-40564-8_53
Related Items (10)
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 ⋮ Towards provenance in heterogeneous knowledge bases ⋮ Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming ⋮ Why-provenance information for RDF, rules, and negation ⋮ Explaining Preferences and Preferring Explanations ⋮ Answering the “why” in answer set programming – A survey of explanation approaches
This page was built for publication: Justifications for Logic Programming
