Pages that link to "Item:Q5449601"
From MaRDI portal
The following pages link to Justifications for Logic Programs Under Answer Set Semantics (Q5449601):
Displaying 10 items.
- A characterization of answer sets for logic programs (Q2644415) (← links)
- (Q4513579) (← links)
- Justifications for programs with disjunctive and causal-choice rules (Q4593044) (← links)
- The KB paradigm and its application to interactive configuration (Q4593081) (← links)
- Merging Logic Programs under Answer Set Semantics (Q4649730) (← links)
- Applications of intuitionistic logic in Answer Set Programming (Q4669647) (← links)
- (Q5020962) (← links)
- Answering the “why” in answer set programming – A survey of explanation approaches (Q5197747) (← links)
- Debugging for Model Expansion (Q5325763) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)