Pages that link to "Item:Q4507851"
From MaRDI portal
The following pages link to An abstract machine for efficiently computing queries to well-founded models (Q4507851):
Displaying 4 items.
- Tabling for non-monotonic programming (Q1978007) (← links)
- A three-valued semantics for querying and repairing inconsistent databases (Q2426103) (← links)
- A new approach to hybrid probabilistic logic programs (Q2642628) (← links)
- Incremental Tabling in Support of Knowledge Representation and Reasoning (Q2931264) (← links)