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]

Authors

Riccardo Zese

This author has not been identified. Look up 'Riccardo Zese' in Google

Elena Bellodi

This author has not been identified. Look up 'Elena Bellodi' in Google

Fabrizio Riguzzi

This author has not been identified. Look up 'Fabrizio Riguzzi' in Google

Evelina Lamma

This author has not been identified. Look up 'Evelina Lamma' in Google