Algorithm 1 Computation of Justifications 1 Conflict Computation 1 Constraint Satisfaction Problem (CSP) 1 Correctness Proof 1 Find Irreducible Subset with Monotone Property 1 Journal Article 1 mehr ... Minimal Correction Subset 1 Minimal Set Subject to a Monotone Predicate (MSMP) 1 Minimal Unsatisfiable Subset Model-Based Diagnosis 1 Ontology Debugging and Repair 1 Proof to Explain 1 QuickXplain 1 Relaxation of Overconstrained Problems 1 weniger ...