Pages that link to "Item:Q5449589"
From MaRDI portal
The following pages link to Tableau Calculi for Answer Set Programming (Q5449589):
Displayed 7 items.
- On abstract modular inference systems and solvers (Q286083) (← links)
- On the relation among answer set solvers (Q1028643) (← links)
- Conflict-driven answer set solving: from theory to practice (Q1761291) (← links)
- Disjunctive answer set solvers via templates (Q4593037) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)
- Abstract Answer Set Solvers (Q5504668) (← links)