Publications by the researcher in collaboration with Joäo Marques Silva (19)

2023

  1. Efficient Reasoning about Infeasible One Machine Sequencing

    Proceedings International Conference on Automated Planning and Scheduling, ICAPS

2020

  1. Reasoning About Inconsistent Formulas

    Proceedings of the twenty-ninth International Joint Conference on Artificial Intelligence

  2. Reasoning About Strong Inconsistency in ASP

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

  3. Reasoning about inconsistent formulas

    IJCAI International Joint Conference on Artificial Intelligence

2019

  1. Computing Shortest Resolution Proofs

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

  2. On Computing the Union of MUSes

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

2018

  1. Premise set caching for enumerating minimal correction subsets

    32nd AAAI Conference on Artificial Intelligence, AAAI 2018

2017

  1. Debugging EL+ ontologies through horn MUS enumeration

    CEUR Workshop Proceedings

  2. Improving MCS enumeration via caching

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

  3. Lean kernels in description logics

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

  4. Minimal sets on propositional formulae. Problems and reductions

    Artificial Intelligence, Vol. 252, pp. 22-50

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)

2015

  1. Efficient MUS enumeration of horn formulae with applications to axiom pinpointing

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

  2. Efficient axiom pinpointing with EL2MCS

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

  3. Literal-based MCS extraction

    IJCAI International Joint Conference on Artificial Intelligence

  4. SAT-based horn least upper bounds

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

2014

  1. Efficient Relaxations of Over-constrained CSPs

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI