{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:26:51Z","timestamp":1725560811288},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540292388"},{"type":"electronic","value":"9783540320500"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11564751_34","type":"book-chapter","created":{"date-parts":[[2005,10,18]],"date-time":"2005-10-18T09:31:28Z","timestamp":1129627888000},"page":"445-459","source":"Crossref","is-referenced-by-count":17,"title":["Generating Corrective Explanations for Interactive Constraint Satisfaction"],"prefix":"10.1007","author":[{"given":"Barry","family":"O\u2019Callaghan","sequence":"first","affiliation":[]},{"given":"Barry","family":"O\u2019Sullivan","sequence":"additional","affiliation":[]},{"given":"Eugene C.","family":"Freuder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"34_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0004-3702(01)00162-X","volume":"135","author":"J. Amilhastre","year":"2002","unstructured":"Amilhastre, J., Fargier, H., Marguis, P.: Consistency restoration and explanations in dynamic csps \u2013 application to configuration. Artificial Intelligence\u00a0135, 199\u2013234 (2002)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"34_CR2","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0166-3615(97)00024-9","volume":"22","author":"J. Bowen","year":"1997","unstructured":"Bowen, J.: Using dependency records to generate design coordination advice in a constraint-based approach to concurrent engineering. Computers in Industry\u00a022(1), 191\u2013199 (1997)","journal-title":"Computers in Industry"},{"key":"34_CR3","unstructured":"de Kleer, J.: A comparison of ATMS and CSP techniques. In: Proceedings of IJCAI 1989, pp. 290\u2013296 (1989)"},{"key":"34_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-36607-5_6","volume-title":"Recent Advances in Constraints","author":"E.C. Freuder","year":"2003","unstructured":"Freuder, E.C., Likitvivatanavong, C., Moretti, M., Rossi, F., Wallace, R.J.: Computing explanations and implications in preference-based configurators. In: O\u2019Sullivan, B. (ed.) CologNet 2002. LNCS (LNAI), vol.\u00a02627, pp. 76\u201392. Springer, Heidelberg (2003)"},{"key":"34_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"590","DOI":"10.1007\/3-540-45578-7_45","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"E.C. Freuder","year":"2001","unstructured":"Freuder, E.C., O\u2019Sullivan, B.: Generating tradeoffs for interative constraint-based configuration. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 590\u2013594. Springer, Heidelberg (2001)"},{"key":"34_CR6","unstructured":"VeCoS Group. Clib: Configuration benchmarks, http:\/\/www.itu.dk\/doi\/VeCoS\/clib\/"},{"key":"34_CR7","unstructured":"Harvey, W.D., Ginsberg, M.L.: Limited discrepancy search. In: Proceedings of IJCAI 1995, pp. 607\u2013615 (1995)"},{"key":"34_CR8","unstructured":"Hebrard, E., Hnich, B., O\u2019Sullivan, B., Walsh, T.: Finding similar and diverse solutions in constraint programming. In: Proceedings of AAAI 2005, pp. 372\u2013377 (2005)"},{"key":"34_CR9","unstructured":"Junker, U.: QuickXplain: Preferred explanations and relaxtions for over-constrained problems. In: Proceedings AAAI 2004, pp. 167\u2013172 (2004)"},{"key":"34_CR10","unstructured":"Jussien, N., Barichard, V.: The PaLM system: explanation-based constraint programming. In: Proceedings of CP 2000 TRICS Workshop, pp. 118\u2013133 (2000)"},{"key":"34_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"988","DOI":"10.1007\/978-3-540-45193-8_112","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"B. O\u2019Callaghan","year":"2003","unstructured":"O\u2019Callaghan, B., Freuder, E.C., O\u2019Sullivan, B.: Useful explanations. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, p. 988. Springer, Heidelberg (2003)"},{"key":"34_CR12","doi-asserted-by":"crossref","unstructured":"O\u2019Sullivan, B., O\u2019Callaghan, B., Freuder, E.C.: Corrective explanation for interactive constraint satisfaction. In: Proceedings of IJCAI 2005 (2005) (Poster)","DOI":"10.1007\/11564751_34"},{"key":"34_CR13","unstructured":"Ouis, S., Jussien, N., Boizumault, P.: COINS: a constraint-based interactive solving system. In: Proceedings of ICLP 2002 Workshop on Logic Programming Environments, pp. 31\u201346 (2002)"},{"key":"34_CR14","unstructured":"Puget, J.-F.: The next challenge for CP: Ease of use. Invited Talk at CP 2004 (2004)"},{"issue":"1","key":"34_CR15","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"34_CR16","unstructured":"Sqalli, M.H., Freuder, E.C.: Inference-based constraint satisfaction supports explanation. In: Proceedings of AAAI 1996, pp. 318\u2013325 (1996)"},{"key":"34_CR17","unstructured":"Verfaillie, G., Schiex, T.: Solution reuse in dynamic constraint satisfaction problems. In: Proceedings of AAAI 1994, Seattle, pp. 307\u2013312 (1994)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11564751_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T06:13:46Z","timestamp":1586499226000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11564751_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540292388","9783540320500"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/11564751_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}