Pages that link to "Item:Q4507851"

The following pages link to An abstract machine for efficiently computing queries to well-founded models (Q4507851):

Displaying 3 items.

• 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)