Pages that link to "Item:Q3608651"
From MaRDI portal
The following pages link to Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs (Q3608651):
Displaying 5 items.
- On the relation among answer set solvers (Q1028643) (← links)
- Extended ASP Tableaux and rule redundancy in normal logic programs (Q3546041) (← links)
- Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs (Q3546042) (← links)
- On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP (Q5504658) (← links)
- Removing Redundancy from Answer Set Programs (Q5504694) (← links)