{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T03:46:43Z","timestamp":1780631203167,"version":"3.54.1"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,8]]},"abstract":"<jats:p>Much of the focus on explanation in the field of artificial intelligence has focused on machine learning methods and, in particular, concepts produced by advanced methods such as neural networks and deep learning. However, there has been a long history of explanation generation in the general field of constraint satisfaction, one of the AI's most ubiquitous subfields. In this paper we survey the major seminal papers on the explanation and constraints, as well as some more recent works. The survey sets out to unify many disparate lines of work in areas such as model-based diagnosis, constraint programming, Boolean satisfiability, truth maintenance systems, quantified logics, and related areas.<\/jats:p>","DOI":"10.24963\/ijcai.2021\/601","type":"proceedings-article","created":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:00:49Z","timestamp":1628679649000},"page":"4400-4407","source":"Crossref","is-referenced-by-count":7,"title":["Explanation in Constraint Satisfaction: A Survey"],"prefix":"10.24963","author":[{"given":"Sharmi","family":"Dev Gupta","sequence":"first","affiliation":[{"name":"School of Computer Science & Information Technology"},{"name":"University College Cork, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Begum","family":"Genc","sequence":"additional","affiliation":[{"name":"School of Computer Science & Information Technology"},{"name":"University College Cork, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Barry","family":"O'Sullivan","sequence":"additional","affiliation":[{"name":"School of Computer Science & Information Technology"},{"name":"University College Cork, Ireland"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"10584","event":{"name":"Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}","theme":"Artificial Intelligence","location":"Montreal, Canada","acronym":"IJCAI-2021","number":"30","sponsor":["International Joint Conferences on Artificial Intelligence Organization (IJCAI)"],"start":{"date-parts":[[2021,8,19]]},"end":{"date-parts":[[2021,8,27]]}},"container-title":["Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence"],"original-title":[],"deposited":{"date-parts":[[2021,8,11]],"date-time":"2021-08-11T11:04:16Z","timestamp":1628679856000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ijcai.org\/proceedings\/2021\/601"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2021,8]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/ijcai.2021\/601","relation":{},"subject":[],"published":{"date-parts":[[2021,8]]}}}