7 research outputs found
Repairing Infeasibility in Scheduling via Genetic Algorithms
International Work-Conference on the Interplay Between Natural and Artificial Computation, IWINAC (8th. 2019, AlmerĂa, Spain
Debugging EL+ ontologies through horn MUS enumeration
International Workshop on Description Logics (30th. Montpellier; France. 2017