{"type":"ScholarlyArticle","title":"Finite Domain Constraint Solver Learning","authors":[{"name":"Arnaud Lallouet","slug":"arnaud-lallouet","given":"Arnaud","family":"Lallouet","affiliation":""},{"name":"Thi-Bich-Hanh Dao","slug":"thi-bich-hanh-dao","given":"Thi-Bich-Hanh","family":"Dao","affiliation":""},{"name":"Andrei Legtchenko","slug":"andrei-legtchenko","given":"Andrei","family":"Legtchenko","affiliation":""},{"name":"AbdelAli Ed-Dbali","slug":"abdelali-ed-dbali","given":"AbdelAli","family":"Ed-Dbali","affiliation":""}],"abstract":"In this paper, we present an abstract framework for learning a finite domain constraint solver modeled by a set of operators enforcing a consistency. The behavior of the consistency to be learned is taken as the set of examples on which the learning process is applied. The best possible expression of this operator in a given language is then searched. We instantiate this framework to the learning of bound-consistency in the indexical language of Gnu-Prolog.","doi":null,"url":"https://ijcai.org/proceedings/2003/205","pdf":"https://ijcai.org/proceedings/2003/0205.pdf","markdown":"https://ijcai.org/proceedings/2003/205.md","bibtex":"https://ijcai.org/proceedings/2003/bibtex/205","volume":{"slug":"2003","title":"Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2003","url":"https://ijcai.org/proceedings/2003/","year":2003,"location":"Acapulco, Mexico","dates":"","editors":"Georg Gottlob","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":205,"pages":{"first":1379,"last":1379},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}