Pages that link to "Item:Q3841100"
From MaRDI portal
The following pages link to Tabulated resolution for the well-founded semantics (Q3841100):
Displaying 8 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- Tabulation proof procedures for fuzzy linguistic logic programming (Q899133) (← links)
- What is failure? An approach to constructive negation (Q1346220) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Dynamic reordering of alternatives for definite logic programs (Q1749236) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- The limits of fixed-order computation (Q5940930) (← links)
- Loop checks for logic programs with functions (Q5958765) (← links)
