Pages that link to "Item:Q1598446"
From MaRDI portal
The following pages link to SLT-resolution for the well-founded semantics (Q1598446):
Displaying 4 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Complexity results for answer set programming with bounded predicate arities and implications (Q2426101) (← links)
- A goal-oriented approach to computing the well-founded semantics (Q4275261) (← links)
- Termination of simply-moded well-typed logic programs under a tabled execution mechanism (Q5941756) (← links)