Pages that link to "Item:Q4452640"
From MaRDI portal
The following pages link to Transformation-based bottom-up computation of the well-founded model (Q4452640):
Displayed 6 items.
- Enhancing global SLS-resolution with loop cutting and tabling mechanisms (Q703484) (← links)
- On the equivalence and range of applicability of graph-based representations of logic programs. (Q1853147) (← links)
- Relating defeasible and normal logic programming through transformation properties. (Q1853599) (← links)
- Dealing with explicit preferences and uncertainty in answer set programming (Q1928820) (← links)
- Justifications for logic programs under answer set semantics (Q3612602) (← links)
- A general theory of confluent rewriting systems for logic programming and its applications (Q5935989) (← links)