Representative explanations for over-constrained problems

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2007, Pages 323-328

  O'Sullivan, Barry ^a   Papadopoulos, Alexandre ^a   Faltings, Boi ^b   Pu, Pearl ^b  

^a UNIVERSITY COLLEGE CORK   (Ireland)

^b EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONSTRAINT THEORY; DECISION MAKING; USER INTERFACES;

INTERACTIVE DECISION MAKING SCENARIOS; MINIMAL CONFLICTS; OVER-CONSTRAINED PROBLEMS;

ARTIFICIAL INTELLIGENCE;

EID: 36348932180     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Amilhastre, J.; Fargier, H.; and Marquis, P. 2002. Consistency restoration and explanations in dynamic CSPs application to configuration. Artif. Intell. 135(1-2):199-234.
2. Bailey, J., and Stuckey, P. J. 2005. Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In Proceedings of PADL, 174-186.
3. Bowen, J. 1997. Using dependency records to generate design coordination advice in a constraint-based approach to concurrent engineering. Computers in Industry 22(1):191-199.
4. Freuder, E. C.; Likitvivatanavong, C.; Moretti, M.; Rossi, F.; and Wallace, R. J. 2003. Computing explanations and implications in preference-based configurators. In Recent Advances in Constraints, LNAI 2627, 76-92.
5. Friedrich, G. 2004. Elimination of spurious explanations. In Proceedings of ECAI, 813-817.
6. Gregoire, E.; Mazure, B.; and Piette, C. 2007. Boosting a complete technique to find mss and mus thanks for a local search oracle. In Proceedings of IJCAI, 2300-2305.
7. Junker, U. 2004. QuickXplain: preferred explanations and relaxations for over-constrained problems. In Proceedings of AAAI, 167-172.
8. Liffiton, M. H., and Sakallah, K. A. 2005. On finding all minimally unsatisfiable subformulas. In Proceedings of SAT, 173-186.
9. Liffiton, M. H.; Moffitt, M. D.; Pollack, M. E.; and Sakallah, K. A. 2005. Identifying conflicts in overconstrained temporal problems. In Proceedings of IJCAI, 205-211.
10. O'Callaghan, B.; O'Sullivan, B.; and Freuder, E. C. 2005. Generating corrective explanations for interactive constraint satisfaction. In Proceedings of CP, 445-459.
11. Pu, P.; Faltings, B.; and Torrens, M. 2004. Effective interaction principles for online product search environments. In Web Intelligence, 724-727.
12. Sqalli, M. H., and Freuder, E. C. 1996. Inference-based constraint satisfaction supports explanation. In Proceedings of AAAI, 318-325.