Pages that link to "Item:Q671655"
From MaRDI portal
The following pages link to A non-ground realization of the stable and well-founded semantics (Q671655):
Displaying 6 items.
- Loop-separable programs and their first-order definability (Q543631) (← links)
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles (Q1274977) (← links)
- On deciding subsumption problems (Q1777407) (← links)
- Working with ARMs: Complexity results on atomic representations of Herbrand models (Q1854418) (← links)
- <tt>ASPeRiX</tt>, a first-order forward chaining approach for answer set computing (Q4593088) (← links)
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics (Q5958767) (← links)
