swMATH30415MaRDI QIDQ42129FDOQ42129
Author name not available (Why is that?)
Official website: https://ieeexplore.ieee.org/document/8133436
Cited In (23)
- Answer Set Programming: A Primer
- Towards a Type Discipline for Answer Set Programming
- Tableau reasoning for description logics and its extension to probabilities
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Pruning external minimality checking for answer set programs using semantic dependencies
- HiLog
- DLV-Complex
- DLV-EX
- ASPIDE
- NoMoRe
- DLog
- Pengines
- aspcud
- PR-OWL
- KL-ONE
- APE
- iGROM
- IDPDraw
- SeaLion
- spock
- Hexlite
- The intelligent grounder of DLV
This page was built for software: OntoDLV
