Publicaciones en las que colabora con Alexey Ignatiev (6)

2019

  1. On Computing the Union of MUSes

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

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)

  3. MCS extraction with sublinear Oracle queries

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