The following pages link to OntoDLV (Q42129):
Displayed 7 items.
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) (Q1653445) (← links)
- Tableau reasoning for description logics and its extension to probabilities (Q1653448) (← links)
- Pruning external minimality checking for answer set programs using semantic dependencies (Q2046045) (← links)
- The Intelligent Grounder of DLV (Q2900523) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
- Answer Set Programming: A Primer (Q3638997) (← links)
- Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach (Q4957185) (← links)