Contrastive explanations for answer-set programs

DOI10.1007/978-3-031-43619-2_6MaRDI QIDQ6545521

Thomas Eiter, Johannes Oetsch, Tobias Geibinger

Publication date: 29 May 2024

Mathematics Subject Classification ID

Could not fetch data.

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the query complexity of selecting minimal sets for monotone predicates
• Abduction from logic programs: Semantics and complexity
• Answer set programming and plan generation
• The complexity of selecting maximal solutions
• Model reconciliation in logic programs
• Determining inference semantics for disjunctive logic programs
• Explanation in artificial intelligence: insights from the social sciences
• Train scheduling with hybrid ASP
• Justifications for Logic Programming
• Catching the Ouroboros: On debugging non-ground answer-set programs
• Justifications for logic programs under answer set semantics
• Specifying and Verbalising Answer Set Programs in Controlled Natural Language
• Reconsidering AGM-Style Belief Revision in the Context of Logic Programs.
• Generating explanations for biomedical queries
• Justifying answer sets using argumentation
• Deriving conclusions from non-monotonic cause-effect relations
• An application of answer set programming to the field of second language acquisition
• Stepwise debugging of answer-set programs
• Answering the “why” in answer set programming – A survey of explanation approaches
• Abductive Logic Programming
• Causes and Explanations: A Structural-Model Approach. Part II: Explanations
• Debugging ASP Programs by Means of ASP
• Logic Programming and Nonmonotonic Reasoning
• Witnesses for Answer Sets of Logic Programs

This page was built for publication: Contrastive explanations for answer-set programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6545521)