Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma. Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques. In Elena Bellodi, Alessio Bonfietti, editors, Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 23-24, 2015. Volume 1485 of CEUR Workshop Proceedings, pages 1-6, CEUR-WS.org, 2015. [doi]
@inproceedings{ZeseBRL15,
title = {Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques},
author = {Riccardo Zese and Elena Bellodi and Fabrizio Riguzzi and Evelina Lamma},
year = {2015},
url = {http://ceur-ws.org/Vol-1485/paper1.pdf},
researchr = {https://researchr.org/publication/ZeseBRL15},
cites = {0},
citedby = {0},
pages = {1-6},
booktitle = {Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), Ferrara, Italy, September 23-24, 2015},
editor = {Elena Bellodi and Alessio Bonfietti},
volume = {1485},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}