Pages that link to "Item:Q3395265"
From MaRDI portal
The following pages link to OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265):
Displayed 9 items.
- OntoDLV (Q42129) (← links)
- 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)
- Team-building with answer set programming in the Gioia-Tauro seaport (Q2909524) (← 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)