Pages that link to "Item:Q4275261"
From MaRDI portal
The following pages link to A goal-oriented approach to computing the well-founded semantics (Q4275261):
Displaying 11 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- A Framework for Goal-Directed Query Evaluation with Negation (Q3449200) (← links)
- A procedural semantics for well-founded negation in logic programs (Q3992225) (← links)
- (Q4409888) (← links)
- Query answering in resource-based answer set semantics (Q4593046) (← links)
- An algebraic construction of the well-founded model (Q5096404) (← links)
- Loop checking and the well-founded semantics (Q5101446) (← links)
- About Epistemic Negation and World Views in Epistemic Logic Programs (Q5108503) (← links)
- A tutorial on the well-founded semantics (Q5930853) (← 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)
- Prolegomena to logic programming for non-monotonic reasoning (Q6623791) (← links)