Justifications for logic programming
From MaRDI portal
Publication:2851284
DOI10.1007/978-3-642-40564-8_53zbMATH Open1405.68053OpenAlexW953051941WikidataQ58198069 ScholiaQ58198069MaRDI QIDQ2851284FDOQ2851284
Authors: Carlos Viegas Damásio, Anastasia Analyti, 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
Recommendations
Cited In (17)
- Explaining preferences and preferring explanations
- A complexity assessment for queries involving sufficient and necessary causes
- Embedding justification theory in approximation fixpoint theory
- Why-provenance information for RDF, rules, and negation
- Deriving conclusions from non-monotonic cause-effect relations
- Justifications for logic programs under answer set semantics
- Functional and Logic Programming
- Answering the ``why in answer set programming -- a survey of explanation approaches
- The role of standardising apart in logic programming
- Unifying justifications and debugging for answer-set programs
- Towards provenance in heterogeneous knowledge bases
- Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming
- Title not available (Why is that?)
- Title not available (Why is that?)
- Contrastive explanations for answer-set programs
- A formal theory of justifications
- 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)
