Publications in collaboration with researchers from Free University of Bozen-Bolzano (4)

2017

  1. Debugging EL+ ontologies through horn MUS enumeration

    CEUR Workshop Proceedings

  2. Lean kernels in description logics

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2016

  1. BEACON: An efficient SAT-based tool for debugging εL+ ontologies

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Efficient reasoning for inconsistent horn formulae

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)