- Tytuł:
- Reasoning on Datalog± Ontologies with Abductive Logic Programming
- Autorzy:
-
Gavanelli, M.
Lamma, E.
Riguzzi, F.
Bellodi, E.
Zese, R.
Cota, G. - Data publikacji:
- 2018
- Słowa kluczowe:
-
logic programming
datalog
computer program language
ontology
constraint satisfaction
computational complexity - Pokaż więcej
- Dostawca treści:
- BazTech