Explanations for over-constrained problems using QuickXPlain with speculative executions
Cristian Vidal-Silva, Alexander Felfernig, José Á. Galindo, Müslüm Atas, David Benavides
Topics & Concepts
Computer scienceDivide and conquer algorithmsFeature (linguistics)Knowledge baseBasis (linear algebra)Machine learningArtificial intelligenceData miningProgramming languageMathematicsGeometryLinguisticsPhilosophyAdvanced Software Engineering MethodologiesAI-based Problem Solving and PlanningSoftware Engineering Research