The following pages link to (Q2734932):
Displayed 8 items.
- On reasoning about structural equality in XML: a description logic approach (Q555777) (← links)
- Enhancing disjunctive logic programming systems by SAT checkers (Q814529) (← links)
- Logic programming and knowledge representation---The A-Prolog perspective (Q1603731) (← links)
- Fixed-parameter complexity in AI and nonmonotonic reasoning (Q1603733) (← links)
- Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203) (← links)
- Deductive databases for computing certain and consistent answers from mediated data integration systems (Q2386182) (← links)
- On look-ahead heuristics in disjunctive logic programming (Q2426102) (← links)
- A Logical Approach to Qualitative and Quantitative Reasoning (Q3524928) (← links)