Pages that link to "Item:Q3125898"
From MaRDI portal
The following pages link to Efficient top-down computation of queries under the well-founded semantics (Q3125898):
Displayed 6 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Disjunctive logic and semantics of disjunctive logic programs (Q1368240) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Termination of logic programs with imperfect information: applications and query procedure (Q2372195) (← links)
- A rule based knowledge transaction model for mobile environments (Q2509213) (← 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)