The following pages link to (Q3140634):
Displaying 6 items.
- On parallel hierarchies and \(R_k^i\) (Q1377627) (← links)
- Determining inference semantics for disjunctive logic programs (Q2289011) (← links)
- Omission-Based Abstraction for Answer Set Programs (Q4957218) (← links)
- Witnesses for Answer Sets of Logic Programs (Q5886522) (← links)
- Contrastive explanations for answer-set programs (Q6545521) (← links)
- Witnessing flows in arithmetic (Q6646013) (← links)