The following pages link to (Q4708952):
Displaying 13 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)
- (Q2729901) (← links)
- (Q2729902) (← links)
- Toward Question Answering in Travel Domains (Q2900529) (← links)
- Terminating Evaluation of Logic Programs with Finite Three-Valued Models (Q2946744) (← links)
- The DL-Lite Family and Relations (Q3651482) (← links)
- (Q4713370) (← links)
- Synthesizing Imperative Code from Answer Set Programming Specifications (Q5097626) (← links)
- Logic Programming and Nonmonotonic Reasoning (Q5424884) (← links)
- The system LD (Q5813907) (← links)