Pages that link to "Item:Q3608650"
From MaRDI portal
The following pages link to Generic Tableaux for Answer Set Programming (Q3608650):
Displaying 5 items.
- On the relation among answer set solvers (Q1028643) (← links)
- Disjunctive logic programs, answer sets, and the cut rule (Q2085572) (← links)
- Extended ASP Tableaux and rule redundancy in normal logic programs (Q3546041) (← links)
- Cumulativity Tailored for Nonmonotonic Reasoning (Q5172609) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)