The following pages link to (Q4708952):
Displayed 7 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)
- Toward Question Answering in Travel Domains (Q2900529) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- Synthesizing Imperative Code from Answer Set Programming Specifications (Q5097626) (← links)