Informática
Department
University College Dublin
Dublín, IrlandaPublications in collaboration with researchers from University College Dublin (10)
2016
-
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)
-
Genetic algorithms for the scheduling problem with arbitrary precedence relations and skilled operators
Integrated Computer-Aided Engineering
2015
-
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)
-
Efficient axiom pinpointing with EL2MCS
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Literal-based MCS extraction
IJCAI International Joint Conference on Artificial Intelligence
-
Memetic algorithms for the job shop scheduling problem with operators
Applied Soft Computing Journal, Vol. 34, pp. 94-105
-
SAT-based horn least upper bounds
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
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
-
Efficient Relaxations of Over-constrained CSPs
Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
-
Self-assessment module for the students of "automata and discrete mathematics"
INTED2014: 8th International Technology, Education and Development Conference