Pages that link to "Item:Q3001913"
From MaRDI portal
The following pages link to Manifold Answer-Set Programs and Their Applications (Q3001913):
Displaying 4 items.
- Datalog rewritability of disjunctive Datalog programs and non-Horn ontologies (Q286087) (← links)
- Evaluating epistemic negation in answer set programming (Q286399) (← links)
- A parallel memory-efficient epistemic logic program solver: harder, better, faster (Q2317970) (← links)
- Beyond NP: Quantifying over Answer Sets (Q5108497) (← links)
