Representative Explanations for Over-Constrained Problems
暂无分享,去创建一个
[1] Barry O'Sullivan,et al. Generating Corrective Explanations for Interactive Constraint Satisfaction , 2005, CP.
[2] Ulrich Junker,et al. QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.
[3] Boi Faltings,et al. Effective Interaction Principles for Online Product Search Environments , 2004, IEEE/WIC/ACM International Conference on Web Intelligence (WI'04).
[4] James Bowen,et al. Using dependency records to generate design coordination advice in a constraint-based approach to concurrent engineering , 1997 .
[5] Martha E. Pollack,et al. Identifying Conflicts in Overconstrained Temporal Problems , 2005, IJCAI.
[6] James Bailey,et al. Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization , 2005, PADL.
[7] Eugene C. Freuder,et al. Inference-Based Constraint Satisfaction Supports Explanation , 1996, AAAI/IAAI, Vol. 1.
[8] Gerhard Friedrich. Elimination of Spurious Explanations , 2004, ECAI.
[9] Karem A. Sakallah,et al. On Finding All Minimally Unsatisfiable Subformulas , 2005, SAT.
[10] Pierre Marquis,et al. Consistency restoration and explanations in dynamic CSPs Application to configuration , 2002, Artif. Intell..
[11] Éric Grégoire,et al. Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle , 2007, IJCAI.
[12] Francesca Rossi,et al. Computing Explanations and Implications in Preference-Based Configurators , 2002, International Workshop on Constraint Solving and Constraint Logic Programming.