Justifications for logic programming

DOI10.1007/978-3-642-40564-8_53MaRDI QIDQ2851284zbMATH OpenOpenAlexWikidataFDO

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

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17) Database theory (68P15)

Recommendations

• Justifications for Logic Programs Under Answer Set Semantics
• Justifications for logic programs under answer set semantics
• Causal graph justifications of logic programs
• Unifying justifications and debugging for answer-set programs
• Functional and Logic Programming

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
• The role of standardising apart in logic programming
• Answering the ``why in answer set programming -- a survey of explanation approaches
• 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
• scientific article; zbMATH DE number 1531362 (Why is no real title available?)
• scientific article; zbMATH DE number 2085275 (Why is no real title available?)
• A formal theory of justifications
• 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)