Generating corrective explanations for interactive constraint satisfaction

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3709 LNCS, Issue , 2005, Pages 445-459

  O'Callaghan, Barry ^a   O'Sullivan, Barry ^a   Freuder, Eugene C ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

[No Author keywords available]

Indexed keywords

BENCHMARKING; COMPUTER PROGRAMMING; ELECTRONIC COMMERCE; ONLINE SYSTEMS; PROBLEM SOLVING;

CONSTRAINT SATISFACTION PROBLEMS (CSP); CORRECTIVE EXPLANATIONS; INTERACTIVE TASKS; ONLINE CONFIGURATION;

CONSTRAINT THEORY;

EID: 33646201119     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11564751_34     Document Type: Conference Paper

References (17)

1. Jérôme Amilhastre, Hélène Fargier, and Pierre Marguis. Consistency restoration and explanations in dynamic csps - application to configuration. Artificial Intelligence, 135:199-234, 2002.
2. James Bowen. Using dependency records to generate design coordination advice in a constraint-based approach to concurrent engineering. Computers in Industry, 22(1): 191-199, 1997.
3. Johan de Kleer. A comparison of ATMS and CSP techniques. In Proceedings of IJCAI-89, pages 290-296, 1989.
4. Eugene C. Freuder, Chavalit Likitvivatanavong, Manuela Moretti, Francesca Rossi, and Richard J. Wallace. Computing explanations and implications in preference-based configurators. In Recent Advances in Constraints, LNAI 2627, pages 76-92, 2003.
5. Eugene C. Freuder and Barry O'Sullivan. Generating tradeoffs for interative constraint-based configuration. In Proceedings of CP-2001, pages 590-594, 2001.
6. VeCoS Group. Clib: Configuration benchmarks. http://www.itu.dk/doi/VeCoS/ clib/.
7. William D. Harvey and Matthew L. Ginsberg. Limited discrepancy search. In Proceedings of UCAI-95, pages 607-615, 1995.
8. Emmanuel Hebrard, Brahim Hnich, Barry O'Sullivan, and Toby Walsh. Finding similar and diverse solutions in constraint programming. In Proceedings of AAAI-2005, pages 372-377, 2005.
9. Ulrich Junker. QUICKXPLAIN: Preferred explanations and relaxations for over-constrained problems. In Proceedings AAAI-2004, pages 167-172, 2004.
10. Narendra Jussien and Vincent Barichard. The PaLM system: explanation-based constraint programming. In Proceedings of CP-2000 TRICS Workshop, pages 118-133, 2000.
11. Barry O'Callaghan, Eugene C. Freuder, and Barry O'Sullivan. Useful explanations. In Proceedings of CP-2003, LNCS 2833, page 988, 2003.
12. Barry O'Sullivan, Barry O'Callaghan, and Eugene C. Freuder. Corrective explanation for interactive constraint satisfaction. In Proceedings of IJCAI-2005, 2005. Poster.
13. Samir Ouis, Narendra Jussien, and Patrice Boizumault. COINS: a constraint-based interactive solving system. In Proceedings of ICLP-2002 Workshop on Logic Programming Environments, pages 31-46, 2002.
14. Jean-Francois Puget. The next challenge for CP: Ease of use. Invited Talk at CP-2004.
15. Raymond Reiter. A theory of diagnosis from first principles. Artificial Intelligence, 32(1):57-95, 1987.
16. Mohammed H. Sqalli and Eugene C. Freuder. Inference-based constraint satisfaction supports explanation. In Proceedings of AAAI-96, pages 318-325, 1996.
17. Gérard Verfaillie and Thomas Schiex. Solution reuse in dynamic constraint satisfaction problems. In Proceedings of AAAI-94, pages 307-312, Seattle, 1994.