Tableau Reasoners for Probabilistic Ontologies Exploiting Logic Programming Techniques

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

Abstract is missing.