Learned Constraint Ordering for Consistency Based Direct Diagnosis
ADVANCES AND TRENDS IN ARTIFICIAL INTELLIGENCE: FROM THEORY TO PRACTICE, pp. 347-359, 2019.
Configuration systemsDiagnosisMatrix factorization
Configuration systems must be able to deal with inconsistencies which can occur in different contexts. Especially in interactive settings, where users specify requirements and a constraint solver has to identify solutions, inconsistencies may more often arise. In inconsistency situations, there is a need of diagnosis methods that support ...More
Full Text (Upload PDF)
PPT (Upload PPT)