Justifications and blocking sets in a rule-based answer set computation
From MaRDI portal
Justifications and blocking sets in a rule-based answer set computation
Recommendations
Cites work
- {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
- A First Order Forward Chaining Approach for Answer Set Computing
- Conflict-Driven Answer Set Enumeration
- Extending and implementing the stable model semantics
- Finding explanations of inconsistency in multi-context systems
- GASP: Answer set programming with lazy grounding
- Graphs and colorings for answer set programming
- Justifications for logic programs under answer set semantics
- Justifying answer sets using argumentation
- Logic programs with abstract constraint atoms: the role of computations
- Stepping through an answer-set program
- The DLV system for knowledge representation and reasoning
- Unifying justifications and debugging for answer-set programs
Cited in
(10)- Enumerating justifications using resolution
- Justifications for logic programs under answer set semantics
- Justifying answer sets using argumentation
- scientific article; zbMATH DE number 2085275 (Why is no real title available?)
- scientific article; zbMATH DE number 1453066 (Why is no real title available?)
- On Nested Justification Systems
- Answering the ``why in answer set programming -- a survey of explanation approaches
- Functional and Logic Programming
- Justifications for Logic Programs Under Answer Set Semantics
- The XAI system for answer set programming xASP2
This page was built for publication: Justifications and blocking sets in a rule-based answer set computation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5240210)
