Justifications for Logic Programming
From MaRDI portal
Publication:2851284
DOI10.1007/978-3-642-40564-8_53zbMATH Open1405.68053OpenAlexW953051941WikidataQ58198069 ScholiaQ58198069MaRDI QIDQ2851284FDOQ2851284
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
Cited In (15)
- Embedding justification theory in approximation fixpoint theory
- Answering the “why” in answer set programming – A survey of explanation approaches
- A Formal Theory of Justifications
- Why-provenance information for RDF, rules, and negation
- A Complexity Assessment for Queries Involving Sufficient and Necessary Causes
- Deriving conclusions from non-monotonic cause-effect relations
- Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming
- Enablers and Inhibitors in Causal Justifications of Logic Programs
- The role of standardising apart in logic programming
- Explaining Preferences and Preferring Explanations
- Towards provenance in heterogeneous knowledge bases
- Title not available (Why is that?)
- Title not available (Why is that?)
- Contrastive explanations for answer-set programs
- Justifications for programs with disjunctive and causal-choice rules
This page was built for publication: Justifications for Logic Programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851284)
