Publications in collaboration with researchers from University College Dublin (10)

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. Genetic algorithms for the scheduling problem with arbitrary precedence relations and skilled operators

    Integrated Computer-Aided Engineering

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. Memetic algorithms for the job shop scheduling problem with operators

    Applied Soft Computing Journal, Vol. 34, pp. 94-105

  5. SAT-based horn least upper bounds

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

  6. Schedule generation schemes and genetic algorithm for the scheduling problem with skilled operators and arbitrary precedence relations

    Proceedings International Conference on Automated Planning and Scheduling, ICAPS

2014

  1. Efficient Relaxations of Over-constrained CSPs

    Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

  2. Self-assessment module for the students of "automata and discrete mathematics"

    INTED2014: 8th International Technology, Education and Development Conference