Pages that link to "Item:Q3395265"
From MaRDI portal
The following pages link to OntoDLV: An ASP-based System for Enterprise Ontologies (Q3395265):
Displayed 7 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)
- 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)