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]
Abstract is missing.