The following pages link to (Q4694697):
Displaying 5 items.
- Bottom-up evaluation and query optimization of well-founded models (Q673130) (← links)
- Towards an efficient evaluation of recursive aggregates in deductive databases (Q1326572) (← links)
- A logic programming system for nonmonotonic reasoning (Q1891266) (← links)
- A paraconsistent logic programming approach for querying inconsistent databases (Q2463646) (← links)
- An algebraic construction of the well-founded model (Q5096404) (← links)