The following pages link to (Q4708952):
Displayed 4 items.
- Answer set based design of knowledge systems (Q854966) (← links)
- Solving abduction by computing joint explanations. Logic programming formalization, applications to P2P data integration, and complexity results (Q2385448) (← links)
- A three-valued semantics for querying and repairing inconsistent databases (Q2426103) (← links)
- An incremental algorithm for generating all minimal models (Q2457647) (← links)