Pages that link to "Item:Q5956119"
From MaRDI portal
The following pages link to Resolution for skeptical stable model semantics (Q5956119):
Displayed 4 items.
- Reasoning with infinite stable models (Q814596) (← links)
- Erratum to: ``Reasoning with infinite stable models'' (Q2389687) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- On finitely recursive programs (Q3621269) (← links)