CoreDiag: Eliminating Redundancy in Constraint Sets

[1]  Alon Y. Halevy,et al.  Constraints and redundancy in datalog , 1992, PODS.

[2]  Lina Zhou,et al.  A Framework for Ontology Evaluation , 2009, WEB.

[3]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[4]  Jens Wissmann,et al.  Elimination of Redundancy in Ontologies , 2011, ESWC.

[5]  Alexander Felfernig,et al.  An efficient diagnosis algorithm for inconsistent constraint sets , 2011, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[6]  P. M. Wognum,et al.  Diagnosing and Solving Over-Determined Constraint Satisfaction Problems , 1993, IJCAI.

[7]  Alexander Felfernig,et al.  Constraint-based recommender systems: technologies and research issues , 2008, ICEC.

[8]  Markus Stumptner,et al.  Consistency-based diagnosis of configuration knowledge bases , 1999, Artif. Intell..

[9]  Matthew Richardson,et al.  Building large knowledge bases by mass collaboration , 2003, K-CAP '03.

[10]  Eugene C. Freuder,et al.  Detecting and resolving inconsistency and redundancy in conditional constraint satisfaction problems , 1999, AAAI 1999.

[11]  Edward P. K. Tsang,et al.  Foundations of constraint satisfaction , 1993, Computation in cognitive science.

[12]  Gerhard Friedrich,et al.  A General Diagnosis Method for Ontologies , 2005, SEMWEB.

[13]  Yolanda Gil,et al.  An Analysis of Knowledge Collected from Volunteer Contributors , 2005, AAAI.

[14]  Cédric Piette.  Let the Solver Deal with Redundancy , 2008, 2008 20th IEEE International Conference on Tools with Artificial Intelligence.