{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,14]],"date-time":"2023-10-14T11:29:02Z","timestamp":1697282942074},"reference-count":199,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,12,22]],"date-time":"2009-12-22T00:00:00Z","timestamp":1261440000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2010,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers, it is now recognized as an elegant general purpose language. Constraint Handling Rules related research has surged during the decade following the previous survey by Fr\u00fchwirth (<jats:italic>J. Logic Programming, Special Issue on Constraint Logic Programming<\/jats:italic>, 1998, vol. 37, nos. 1\u20133, pp. 95\u2013138). Covering more than 180 publications, this new survey provides an overview of recent results in a wide range of research areas, from semantics and analysis to systems, extensions, and applications.<\/jats:p>","DOI":"10.1017\/s1471068409990123","type":"journal-article","created":{"date-parts":[[2009,12,22]],"date-time":"2009-12-22T09:45:55Z","timestamp":1261475155000},"page":"1-47","source":"Crossref","is-referenced-by-count":25,"title":["As time goes by: Constraint Handling Rules"],"prefix":"10.1017","volume":"10","author":[{"given":"JON","family":"SNEYERS","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"PETER","family":"VAN WEERT","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"TOM","family":"SCHRIJVERS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LESLIE","family":"DE KONINCK","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2009,12,22]]},"reference":[{"key":"S1471068409990123_ref199","unstructured":"Wuille P. , Schrijvers T. and Demoen B. 2007. CCHR: The fastest CHR implementation, in C. In Djelloul et al. (2007), 123\u2013137. System's homepage at URL: http:\/\/www.cs.kuleuven.be\/~pieterw\/CCHR\/."},{"key":"S1471068409990123_ref96","volume-title":"High-Level Implementations of Constraint Handling Rules","author":"Fr\u00fchwirth","year":"1995"},{"key":"S1471068409990123_ref87","unstructured":"Fr\u00fchwirth T. 2005b. Parallelizing union-find in Constraint Handling Rules using confluence. In Gabbrielli and Gupta (2005), 113\u2013127."},{"key":"S1471068409990123_ref95","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-05138-2"},{"key":"S1471068409990123_ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30122-6_5"},{"key":"S1471068409990123_ref93","unstructured":"Fr\u00fchwirth T. , Eds. 2000. RCoRP '00: Proc. 1st Workshop on Rule-Based Constraint Reasoning and Programming."},{"key":"S1471068409990123_ref58","unstructured":"De Koninck L. , Schrijvers T. and Demoen B. 2006b. Search strategies in CHR(Prolog). In Schrijvers and Fr\u00fchwirth (2006), 109\u2013123."},{"key":"S1471068409990123_ref92","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609886"},{"key":"S1471068409990123_ref77","volume-title":"WLP '06: Proc. 20th Workshop on Logic Programming","author":"Fink","year":"2006"},{"key":"S1471068409990123_ref88","first-page":"133","volume-title":"LOPSTR '04","author":"Fr\u00fchwirth","year":"2005"},{"key":"S1471068409990123_ref82","first-page":"298","volume-title":"New Trends in Constraints, Joint ERCIM\/Compulog Net Workshop, October 1999, Selected papers","author":"Fr\u00fchwirth","year":"2000"},{"key":"S1471068409990123_ref81","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","article-title":"Theory and practice of Constraint Handling Rules","volume":"37","author":"Fr\u00fchwirth","year":"1998","journal-title":"Journal of Logic Programming, Special Issue on Constraint Logic Programming"},{"key":"S1471068409990123_ref79","volume-title":"Constraint Simplification Rules","author":"Fr\u00fchwirth","year":"1992"},{"key":"S1471068409990123_ref84","first-page":"547","volume-title":"KR '02: Proc. 8th Intl. Conf. Princ. Knowledge Representation and Reasoning","author":"Fr\u00fchwirth","year":"2002"},{"key":"S1471068409990123_ref17","volume-title":"LOPSTR '07, Revised Selected Papers","author":"Abdennadher","year":"2008"},{"key":"S1471068409990123_ref118","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141369"},{"key":"S1471068409990123_ref74","doi-asserted-by":"publisher","DOI":"10.1006\/jvlc.1997.0067"},{"key":"S1471068409990123_ref72","unstructured":"Duck G. J. , Stuckey P. J. , Garc\u00eda de la Banda M. and Holzbaur C. 2004. The refined operational semantics of Constraint Handling Rules. In Demoen and Lifschitz (2004), 90\u2013104."},{"key":"S1471068409990123_ref67","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10036-5"},{"key":"S1471068409990123_ref66","unstructured":"Djelloul K. , Duck G. J. and Sulzmann M. , Eds. 2007. CHR '07: Proc. 4th Workshop on Constraint Handling Rules."},{"key":"S1471068409990123_ref12","doi-asserted-by":"publisher","DOI":"10.1145\/976706.976707"},{"key":"S1471068409990123_ref33","doi-asserted-by":"publisher","DOI":"10.1111\/j.0824-7935.2004.00239.x"},{"key":"S1471068409990123_ref162","unstructured":"Scientific Software & Systems Ltd. 2008. Company Profile: Solving problems with proven solutions. Available at URL: http:\/\/www.sss.co.nz\/."},{"key":"S1471068409990123_ref64","volume-title":"ICLP '04: Proc. 20th Intl. Conf. Logic Programming","author":"Demoen","year":"2004"},{"key":"S1471068409990123_ref20","doi-asserted-by":"publisher","DOI":"10.1145\/967900.967918"},{"key":"S1471068409990123_ref126","first-page":"139","volume-title":"CSCLP '06: Proc. 11th Annual ERCIM Workshop on Constraint Solving and Constraint Programming","author":"Meister","year":"2006"},{"key":"S1471068409990123_ref73","unstructured":"Duck G. J. , Stuckey P. J. and Sulzmann M. 2007. Observable confluence for Constraint Handling Rules. In Dahl and Niemel\u00e4 (2007), 224\u2013239."},{"key":"S1471068409990123_ref60","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273924"},{"key":"S1471068409990123_ref59","unstructured":"De Koninck L. , Schrijvers T. and Demoen B. 2007a. The correspondence between the Logical Algorithms language and CHR. In Dahl and Niemel\u00e4 (2007), 209\u2013223."},{"key":"S1471068409990123_ref164","doi-asserted-by":"publisher","DOI":"10.20965\/jaciii.2006.p0339"},{"key":"S1471068409990123_ref29","volume-title":"Proc. Lorraine-Saarland Workshop on Prospects and Advances in the Syntax\/Semantics Interface","author":"B\u00e8s","year":"2003"},{"key":"S1471068409990123_ref71","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888260"},{"key":"S1471068409990123_ref39","first-page":"1096","article-title":"Modeling motion by the integration of topology and time","volume":"9","author":"Cabedo","year":"2003","journal-title":"Journal of Universal Computer Science"},{"key":"S1471068409990123_ref16","first-page":"1","volume-title":"FQAS '98: Proc. 3rd Intl. Conf. on Flexible Query Answering Systems","author":"Abdennadher","year":"1998"},{"key":"S1471068409990123_ref55","volume-title":"ICLP '07: Proc. 23rd Intl. Conf. Logic Programming","author":"Dahl","year":"2007"},{"key":"S1471068409990123_ref8","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009842826135"},{"key":"S1471068409990123_ref52","unstructured":"Dahl V. and Blache P. 2005. Extracting selected phrases through constraint satisfaction. In Proc. 2nd Intl. Workshop on Constraint Solving and Language Processing."},{"key":"S1471068409990123_ref125","unstructured":"Meister M. 2006. Fine-grained parallel implementation of the preflow-push algorithm in CHR. In Fink et al. (2006), 172\u2013181."},{"key":"S1471068409990123_ref70","unstructured":"Duck G. J. , Stuckey P. J. and Brand S. 2006. ACD term rewriting. In Etalle and Truszczynski (2006), 117\u2013131."},{"key":"S1471068409990123_ref48","unstructured":"Christiansen H. and Martinenghi D. 2000. Symbolic constraints for meta-logic programming. In Holzbaur and Fr\u00fchwirth (2000b), 345\u2013367."},{"key":"S1471068409990123_ref47","unstructured":"Christiansen H. and Have C. T. 2007. From use cases to UML class diagrams using logic grammars and constraints. In RANLP '07: Proc. Intl. Conf. Recent Adv. Nat. Lang. Processing. 128\u2013132."},{"key":"S1471068409990123_ref22","unstructured":"Alberti M. , Gavanelli M. , Lamma E. , Mello P. and Milano M. 2005. A CHR-based implementation of known arc-consistency. In Abdennadher et al. (2005), 419\u2013440."},{"key":"S1471068409990123_ref139","unstructured":"Ringwelski G. and Schlenker H. 2000b. Using typed interfaces to compose CHR programs. In RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, Fr\u00fchwirth T. , Eds."},{"key":"S1471068409990123_ref32","unstructured":"Betz H. and Fr\u00fchwirth T. 2007. A linear-logic semantics for Constraint Handling Rules with disjunction. In Djelloul et al. (2007), 17\u201331."},{"key":"S1471068409990123_ref13","unstructured":"Abdennadher S. and Rigotti C. 2005. Automatic generation of CHR constraint solvers. In Abdennadher et al. (2005), 403\u2013418."},{"key":"S1471068409990123_ref75","volume-title":"Qualitative Spatial Reasoning: Theory and Practice\u2014Application to Robot Navigation","author":"Escrig","year":"1998"},{"key":"S1471068409990123_ref154","volume-title":"CHR '06: Proc. 3rd Workshop on Constraint Handling Rules","author":"Schrijvers","year":"2006"},{"key":"S1471068409990123_ref115","article-title":"Special issue on Constraint Handling Rules","volume":"14","author":"Holzbaur","year":"2000","journal-title":"Journal of Applied Artificial Intelligence"},{"key":"S1471068409990123_ref11","volume-title":"LOPSTR '06, Revised Selected Papers","author":"Abdennadher","year":"2006"},{"key":"S1471068409990123_ref80","first-page":"90","volume-title":"Constraint Programming: Basic and Trends\u2014Selected Papers of the 22nd Spring School in Theoretical Computer Sciences, May 16\u201320, 1994","author":"Fr\u00fchwirth","year":"1995"},{"key":"S1471068409990123_ref76","volume-title":"ICLP '06: Proc. 22nd Intl. Conf. Logic Programming","author":"Etalle","year":"2006"},{"key":"S1471068409990123_ref83","first-page":"147","volume-title":"Declarative Programming\u2014Selected Papers from AGP 2000","author":"Fr\u00fchwirth","year":"2001"},{"key":"S1471068409990123_ref160","unstructured":"Schrijvers T. , Zhou N.-F. and Demoen B. 2006b. Translating Constraint Handling Rules into Action Rules. In Schrijvers and Fr\u00fchwirth (2006), 141\u2013155."},{"key":"S1471068409990123_ref50","unstructured":"Coquery E. and Fages F. 2005. A type system for CHR. In Schrijvers and Fr\u00fchwirth (2005b), 19\u201333."},{"key":"S1471068409990123_ref3","first-page":"141","volume-title":"FQAS '00: Proc. 4th Intl. Conf. Flexible Query Answering Systems","author":"Abdennadher","year":"2000"},{"key":"S1471068409990123_ref163","first-page":"295","volume-title":"IC-AI '02: Proc. Intl. Conf. Artificial Intelligence","author":"Seitz","year":"2002"},{"key":"S1471068409990123_ref7","doi-asserted-by":"crossref","unstructured":"Abdennadher S. , Fr\u00fchwirth T. and Holzbaur C. , Eds. 2005. Special Issue on Constraint Handling Rules. Theory and Practice of Logic Programming, vol. 5(4\u20135).","DOI":"10.1017\/S1471068405002346"},{"key":"S1471068409990123_ref175","first-page":"195","volume-title":"IFL '07: 19th Intl. Symp. Implementation and Application of Functional Languages","author":"Sulzmann","year":"2007"},{"key":"S1471068409990123_ref19","unstructured":"Alberti M. , Chesani F. , Gavanelli M. and Lamma E. 2005. The CHR-based implementation of a system for generation and confirmation of hypotheses. In Wolf et al. (2005), 111\u2013122."},{"key":"S1471068409990123_ref101","doi-asserted-by":"crossref","unstructured":"Fr\u00fchwirth T. and Meister M. , Eds. 2004. CHR '04: 1st Workshop on Constraint Handling Rules: Selected Contributions.","DOI":"10.1007\/978-3-540-92243-8_1"},{"key":"S1471068409990123_ref157","unstructured":"Schrijvers T. and Warren D. S. 2004. Constraint Handling Rules and tabled execution. In Demoen and Lifschitz (2004), 120\u2013136."},{"key":"S1471068409990123_ref49","first-page":"17","volume-title":"WLPE '03","author":"Coquery","year":"2003"},{"key":"S1471068409990123_ref14","unstructured":"Abdennadher S. and Saft M. 2001. A visualization tool for Constraint Handling Rules. In WLPE '01, Kusalik A. , Ed."},{"key":"S1471068409990123_ref2","volume-title":"Rule-based constraint programming: Theory and practice","author":"Abdennadher","year":"2001"},{"key":"S1471068409990123_ref42","unstructured":"Christiansen H. 2005. CHR grammars. In Abdennadher et al. (2005), 467\u2013501."},{"key":"S1471068409990123_ref86","unstructured":"Fr\u00fchwirth T. 2005a. Logical rules for a lexicographic order constraint solver. In Schrijvers and Fr\u00fchwirth (2005b), 79\u201391."},{"key":"S1471068409990123_ref5","first-page":"43","volume-title":"CP '99","author":"Abdennadher","year":"1999"},{"key":"S1471068409990123_ref36","first-page":"279","volume-title":"Joint ERCIM\/CologNet Intl. Workshop on Constraint Solving and Constraint Logic Programming, Selected papers","author":"Brand","year":"2002"},{"key":"S1471068409990123_ref68","unstructured":"Duck G. J. 2005. Compilation of Constraint Handling Rules. Ph.D. thesis, University of Melbourne, Victoria, Australia."},{"key":"S1471068409990123_ref78","unstructured":"Firat A. 2003. Information Integration Using Contextual Knowledge and Ontology Merging. Ph.D. Thesis, MIT Sloan School of Management, Cambridge, MA, USA."},{"key":"S1471068409990123_ref35","unstructured":"Bouissou O. 2004. A CHR Library for SiLCC. Diploma Thesis. Technical University of Berlin, Germany."},{"key":"S1471068409990123_ref85","volume-title":"QAPL '01: Proc. First Intl. Workshop on Quantitative Aspects of Programming Languages","author":"Fr\u00fchwirth","year":"2002"},{"key":"S1471068409990123_ref98","doi-asserted-by":"publisher","DOI":"10.1109\/5254.820329"},{"key":"S1471068409990123_ref24","first-page":"56","volume-title":"WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers","author":"Alves","year":"2002"},{"key":"S1471068409990123_ref53","doi-asserted-by":"crossref","unstructured":"Dahl V. and Gu B. 2006. Semantic property grammars for knowledge extraction from biomedical text. In Etalle and Truszczynski (2006), 442\u2013443. Poster Paper.","DOI":"10.1007\/11799573_40"},{"key":"S1471068409990123_ref166","unstructured":"Sneyers J. , Schrijvers T. and Demoen B. 2005. Guard and continuation optimization for occurrence representations of CHR. In Gabbrielli and Gupta (2005), 83\u201397."},{"key":"S1471068409990123_ref30","unstructured":"Betz H. 2007. Relating coloured Petri nets to Constraint Handling Rules. In Djelloul et al. (2007), 33\u201347."},{"key":"S1471068409990123_ref43","first-page":"226","volume-title":"CLIMA '06: 7th Intl. Workshop on Computational Logic in Multi-Agent Systems \u2013 Revised, Selected and Invited Papers","author":"Christiansen","year":"2006"},{"key":"S1471068409990123_ref184","unstructured":"Van Weert P. , Sneyers J. and Demoen B. 2008a. Aggregates for CHR through program transformation. In LOPSTR '07, Revised Selected Papers, King A. , Ed. LNCS, vol. 4915."},{"key":"S1471068409990123_ref56","volume-title":"NLUCS '04: Proc. First Intl. Workshop on Natural Language Understanding and Cognitive Sciences","author":"Dahl","year":"2004"},{"key":"S1471068409990123_ref15","unstructured":"Abdennadher S. , Saft M. and Will S. 2000. Classroom assignment using constraint logic programming. In PACLP '00: Proc. 2nd Intl. Conf. and Exhibition on Practical Application of Constraint Technologies and Logic Programming."},{"key":"S1471068409990123_ref23","first-page":"94","volume-title":"LCMAS'03: Logic and Communication in Multi-Agent Systems","author":"Alberti","year":"2004"},{"key":"S1471068409990123_ref172","doi-asserted-by":"publisher","DOI":"10.1145\/1108970.1108974"},{"key":"S1471068409990123_ref45","unstructured":"Christiansen H. and Dahl V. 2005a. HYPROLOG: A new logic programming language with assumptions and abduction. In Gabbrielli and Gupta (2005), 159\u2013173."},{"key":"S1471068409990123_ref90","unstructured":"Fr\u00fchwirth T. 2006b. Deriving linear-time algorithms from union-find in CHR. In Schrijvers and Fr\u00fchwirth (2006), 49\u201360."},{"key":"S1471068409990123_ref25","first-page":"713","article-title":"Constraint programming viewed as rule-based programming","volume":"1","author":"Apt","year":"2001","journal-title":"TPLP"},{"key":"S1471068409990123_ref54","unstructured":"Dahl V. and Gu B. 2007. A CHRG analysis of ambiguity in biological texts. In CSLP '07: Proc. 4th Intl. Workshop on Constraints and Language Processing. Extended Abstract."},{"key":"S1471068409990123_ref6","first-page":"198","volume-title":"LOPSTR '03","author":"Abdennadher","year":"2004"},{"key":"S1471068409990123_ref89","volume-title":"Recent Advances in Constraints, CSCLP '05: Joint ERCIM\/CoLogNET Intl. Workshop on Constraint Solving and CLP, Revised Selected and Invited Papers","author":"Fr\u00fchwirth","year":"2006"},{"key":"S1471068409990123_ref4","first-page":"25","volume-title":"CP '98","author":"Abdennadher","year":"1998"},{"key":"S1471068409990123_ref62","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78969-7_5"},{"key":"S1471068409990123_ref112","volume-title":"Constraint Handling Rules Reference Manual, Release 2.2","author":"Holzbaur","year":"1998"},{"key":"S1471068409990123_ref27","unstructured":"Barranco-Mendoza A. 2005. Stochastic and heuristic modelling for analysis of the growth of pre-invasive lesions and for a multidisciplinary approach to early cancer diagnosis. Ph.D. thesis, Simon Fraser University, Canada."},{"key":"S1471068409990123_ref180","unstructured":"Thielscher M. 2005. FLUX: A logic programming method for reasoning agents. In Abdennadher et al. (2005), 533\u2013565."},{"key":"S1471068409990123_ref31","first-page":"137","volume-title":"CP '05","author":"Betz","year":"2005"},{"key":"S1471068409990123_ref10","unstructured":"Abdennadher S. and Marte M. 2000. University course timetabling using Constraint Handling Rules. In Holzbaur and Fr\u00fchwirth (2000b), 311\u2013325."},{"key":"S1471068409990123_ref38","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055992"},{"key":"S1471068409990123_ref37","first-page":"45","volume-title":"RULE '03: 4th Intl. Workshop on Rule-Based Programming","author":"Brand","year":"2003"},{"key":"S1471068409990123_ref113","first-page":"117","volume-title":"PPDP '99","author":"Holzbaur","year":"1999"},{"key":"S1471068409990123_ref41","unstructured":"Chin W.-N. , Sulzmann M. and Wang M. 2003. A Type-Safe Embedding of Constraint Handling Rules into Haskell. Honors Thesis. School of Computing, National University of Singapore."},{"key":"S1471068409990123_ref142","first-page":"170","volume-title":"PADL '07: Proc. 9th Intl. Symp. Practical Aspects of Declarative Languages","author":"Sarna-Starosta","year":"2007"},{"key":"S1471068409990123_ref44","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213003001216"},{"key":"S1471068409990123_ref65","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244016"},{"key":"S1471068409990123_ref61","unstructured":"De Koninck L. , and Sneyers J. 2007. Join ordering for Constraint Handling Rules. In Djelloul et al. (2007), 107\u2013121."},{"key":"S1471068409990123_ref46","first-page":"97","volume-title":"CONTEXT '05: Proc. 4th Intl. and Interdisciplinary Conf. Modeling and Using Context","author":"Christiansen","year":"2005"},{"key":"S1471068409990123_ref131","unstructured":"Morawietz F. and Blache P. 2002. Parsing natural languages with CHR. Unpublished Draft [online]. URL: http:\/\/www.kuleuven.be\/cwis\/email_disclaimer.htm"},{"key":"S1471068409990123_ref97","first-page":"476","volume-title":"CP '98","author":"Fr\u00fchwirth","year":"1998"},{"key":"S1471068409990123_ref99","volume-title":"WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers","author":"Fr\u00fchwirth","year":"2002"},{"key":"S1471068409990123_ref100","unstructured":"Fr\u00fchwirth T. and Holzbaur C. 2003. Source-to-source transformation for a class of expressive rules. In AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, Buccafurri F. , Ed. 386\u2013397."},{"key":"S1471068409990123_ref102","volume-title":"ICLP '05: Proc. 21st Intl. Conf. Logic Programming","author":"Gabbrielli","year":"2005"},{"key":"S1471068409990123_ref103","doi-asserted-by":"publisher","DOI":"10.1145\/1462179.1462183"},{"key":"S1471068409990123_ref104","unstructured":"Ganzinger H. and McAllester D. A. 2002. Logical algorithms. In Stuckey (2002), 209\u2013223."},{"key":"S1471068409990123_ref123","unstructured":"L\u00f6tzbeyer H. and Pretschner A. 2000. AutoFocus on constraint logic programming. In LPSE '00: Proc. Intl. Workshop on (Constraint) Logic Programming and Software Engineering."},{"key":"S1471068409990123_ref120","volume-title":"A generic search engine for a Java Constraint Kit","author":"Kr\u00e4mer","year":"2001"},{"key":"S1471068409990123_ref105","first-page":"234","volume-title":"Proc. 22nd Intl. Conf. of the Chilean Computer Science Society","author":"Garat","year":"2002"},{"key":"S1471068409990123_ref28","first-page":"1500","article-title":"Constraint based methods for biological sequence analysis","volume":"12","author":"Bavarian","year":"2006","journal-title":"Journal of Universal Computer Science"},{"key":"S1471068409990123_ref193","first-page":"256","volume-title":"CP '01","author":"Wolf","year":"2001"},{"key":"S1471068409990123_ref159","unstructured":"Schrijvers T. , Wielemaker J. and Demoen B. 2005b. Poster: Constraint Handling Rules for SWI-Prolog. In Wolf et al. (2005)."},{"key":"S1471068409990123_ref107","unstructured":"Geurts J. , van Ossenbruggen J. and Hardman L. 2001. Application-specific constraints for multimedia presentation generation. In MMM '01: Proc. 8th Intl. Conf. on Multimedia Modeling. 247\u2013266."},{"key":"S1471068409990123_ref173","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006137"},{"key":"S1471068409990123_ref1","unstructured":"Abdennadher S. 2000. A language for experimenting with declarative paradigms. In RCoRP '00(bis): Proc. 2nd Workshop on Rule-Based Constraint Reasoning and Programming, Fr\u00fchwirth T. , Eds."},{"key":"S1471068409990123_ref178","doi-asserted-by":"publisher","DOI":"10.1145\/1273920.1273945"},{"key":"S1471068409990123_ref186","volume-title":"Special Issue on Constraint Handling Rules","author":"Van Weert","year":"2008"},{"key":"S1471068409990123_ref57","unstructured":"De Koninck L. , Schrijvers T. and Demoen B. 2006a. INCLP( )\u2014Interval-based nonlinear constraint logic programming over the reals. In Fink et al. (2006), 91\u2013100."},{"key":"S1471068409990123_ref108","first-page":"1","volume-title":"PADL '06: Proc. 8th Intl. Symp. Practical Aspects of Declarative Languages","author":"Gouraud","year":"2006"},{"key":"S1471068409990123_ref176","doi-asserted-by":"publisher","DOI":"10.1007\/11924661_2"},{"key":"S1471068409990123_ref109","volume-title":"RTA '07: Proc. 18th Intl. Conf. Term Rewriting and Applications","author":"Haemmerl\u00e9","year":"2007"},{"key":"S1471068409990123_ref110","unstructured":"Hanus M. 2006. Adding Constraint Handling Rules to Curry. In Fink et al. (2006), 81\u201390."},{"key":"S1471068409990123_ref63","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069794"},{"key":"S1471068409990123_ref106","unstructured":"Gavanelli M. , Lamma E. , Mello P. , 2003. Interpreting abduction in CLP. In AGP '03: Joint Conf. Declarative Programming APPIA-GULP-PRODE, Buccafurri F. , Ed. 25\u201335."},{"key":"S1471068409990123_ref190","unstructured":"Wolf A. 1999. Adaptive Constraintverarbeitung mit Constraint-Handling-Rules \u2013 ein allgemeiner Ansatz zur L\u00f6sung dynamischer Constraint-probleme. Ph.D. Thesis, Technical University Berlin, Berlin, Germany."},{"key":"S1471068409990123_ref111","unstructured":"Hecksher T. , Nielsen S. T. and Pigeon A. 2002. A CHRG model of the ancient Egyptian grammar. Unpublished student project report, Roskilde University, Denmark."},{"key":"S1471068409990123_ref114","doi-asserted-by":"publisher","DOI":"10.1080\/088395100117043"},{"key":"S1471068409990123_ref116","unstructured":"Holzbaur C. , Garc\u00eda de la Banda M. , Stuckey P. J. and Duck G. J. 2005. Optimizing compilation of Constraint Handling Rules in HAL. In Abdennadher et al. (2005), 503\u2013531."},{"key":"S1471068409990123_ref117","unstructured":"K\u00e4ser M. and Meister M. 2006. Implementation of an F-Logic kernel in CHR. In Schrijvers and Fr\u00fchwirth (2006), 33\u201347."},{"key":"S1471068409990123_ref94","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068401001181"},{"key":"S1471068409990123_ref119","first-page":"25","volume-title":"INAP '05: Proc. 16th Intl. Conf. Applications of Declarative Programming and Knowledge Management","author":"Kosmatov","year":"2006"},{"key":"S1471068409990123_ref174","unstructured":"Sulzmann M. and Lam E. S. 2007a. Compiling Constraint Handling Rules with lazy and concurrent search techniques. In Djelloul et al. (2007), 139\u2013149."},{"key":"S1471068409990123_ref21","doi-asserted-by":"publisher","DOI":"10.1080\/08839510500479546"},{"key":"S1471068409990123_ref122","volume-title":"DAMP '07: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming","author":"Lam","year":"2007"},{"key":"S1471068409990123_ref161","volume-title":"WFLP '02: Proc. 11th Intl. Workshop on Functional and (Constraint) Logic Programming","author":"Schumann","year":"2002"},{"key":"S1471068409990123_ref127","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72200-7_18"},{"key":"S1471068409990123_ref128","unstructured":"Menezes L. , Vitorino J. and Aurelio M. 2005. A high performance CHR\u2228 execution engine. In Schrijvers and Fr\u00fchwirth (2005b), 35\u201345."},{"key":"S1471068409990123_ref18","first-page":"315","volume-title":"IBERAMIA '04: Proc. 9th Ibero-American Conf. on AI","author":"Aguilar-Solis","year":"2004"},{"key":"S1471068409990123_ref130","volume-title":"COLING '00: Proc. 18th Intl. Conf. on Computational Linguistics","author":"Morawietz","year":"2000"},{"key":"S1471068409990123_ref69","unstructured":"Duck G. J. and Schrijvers T. 2005. Accurate functional dependency analysis for Constraint Handling Rules. In Schrijvers and Fr\u00fchwirth (2005b), 109\u2013124."},{"key":"S1471068409990123_ref34","first-page":"17","article-title":"TaiChi: How to check your types with serenity","volume":"9","author":"Boespflug","year":"2007","journal-title":"The Monad. Reader"},{"key":"S1471068409990123_ref156","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069795"},{"key":"S1471068409990123_ref133","unstructured":"Pilozzi P. , Schrijvers T. and De Schreye D. 2007. Proving termination of CHR in Prolog: A transformational approach. In WST '07: 9th Intl. Workshop on Termination."},{"key":"S1471068409990123_ref145","volume-title":"An implementation of CHR in Java","author":"Schmauss","year":"1999"},{"key":"S1471068409990123_ref134","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-003-0128-3"},{"key":"S1471068409990123_ref135","unstructured":"Raiser F. 2007. Graph transformation systems in CHR. In Dahl and Niemel\u00e4 (2007), 240\u2013254."},{"key":"S1471068409990123_ref146","doi-asserted-by":"crossref","unstructured":"Schrijvers T. , 2004. JmmSolve: A generative Java memory model implemented in Prolog and CHR. In Demoen and Lifschitz (2004), 475\u2013476.","DOI":"10.1007\/978-3-540-27775-0_45"},{"key":"S1471068409990123_ref136","unstructured":"Raiser F. and Tacchella P. 2007. On confluence of non-terminating CHR programs. In Djelloul et al. (2007), 63\u201376."},{"key":"S1471068409990123_ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1167515.1167498"},{"key":"S1471068409990123_ref137","unstructured":"Ribeiro C. , Z\u00faquete A. , Ferreira P. and Guedes P. 2000. Security policy consistency. In Fr\u00fchwirth et al. (2000)."},{"key":"S1471068409990123_ref129","unstructured":"Meyer B. 2000. A constraint-based framework for diagrammatic reasoning. In Holzbaur and Fr\u00fchwirth (2000b), 327\u2013344."},{"key":"S1471068409990123_ref140","unstructured":"Robin J. and Vitorino J. 2006. ORCAS: Towards a CHR-based model-driven framework of reusable reasoning components. In Fink et al. (2006), 192\u2013199."},{"key":"S1471068409990123_ref182","volume-title":"Compiling Constraint Handling Rules to Java: A reconstruction","author":"Van Weert","year":"2008"},{"key":"S1471068409990123_ref143","volume-title":"Indexing Techniques for CHR Based on Program Transformation","author":"Sarna-Starosta","year":"2007"},{"key":"S1471068409990123_ref144","first-page":"1191","volume-title":"AAAI '07: Proc. 22nd AAAI Conf. Artificial Intelligence","author":"Schiffel","year":"2007"},{"key":"S1471068409990123_ref158","first-page":"7","volume-title":"CICLOPS '03: Proc. 3rd Intl. Colloq. on Implementation of Constraint and Logic Programming Systems","author":"Schrijvers","year":"2003"},{"key":"S1471068409990123_ref91","unstructured":"Fr\u00fchwirth T. 2007. Description logic and rules the CHR way. In Djelloul et al. (2007), 49\u201361."},{"key":"S1471068409990123_ref9","first-page":"1","volume-title":"WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers","author":"Abdennadher","year":"2002"},{"key":"S1471068409990123_ref169","doi-asserted-by":"publisher","DOI":"10.1145\/1462166.1462169"},{"key":"S1471068409990123_ref147","doi-asserted-by":"crossref","unstructured":"Schrijvers T. 2005. Analyses, Optimizations and Extensions of Constraint Handling Rules. Ph.D. Thesis, K.U.Leuven, Leuven, Belgium.","DOI":"10.1007\/11562931_44"},{"key":"S1471068409990123_ref148","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140347"},{"key":"S1471068409990123_ref149","volume-title":"Antimonotony-based delay avoidance for CHR","author":"Schrijvers","year":"2004"},{"key":"S1471068409990123_ref150","unstructured":"Schrijvers T. and Demoen B. 2004b. The K.U.Leuven CHR system: Implementation and application. In Fr\u00fchwirth and Meister (2004), 8\u201312. System's homepage at URL: http:\/\/www.cs.kuleuven.be\/~toms\/CHR\/."},{"key":"S1471068409990123_ref138","unstructured":"Ringwelski G. and Schlenker H. 2000a. Type inference in CHR programs for the composition of constraint systems. In WLP '00: Proc. 15th Workshop on Logic Programming, Abdennadher S. , Geske U. and Seipel D. , Eds. 137\u2013146."},{"key":"S1471068409990123_ref196","volume-title":"W(C)LP '05: Proc. 19th Workshop on (Constraint) Logic Programming","author":"Wolf","year":"2005"},{"key":"S1471068409990123_ref121","unstructured":"Lam E. S. and Sulzmann M. 2006. Towards agent programming in CHR. In Schrijvers and Fr\u00fchwirth (2006), 17\u201331."},{"key":"S1471068409990123_ref124","unstructured":"Maher M. J. 2002. Propagation completeness of reactive constraints. In Stuckey (2002), 148\u2013162."},{"key":"S1471068409990123_ref151","first-page":"93","volume-title":"RULE '05: 6th Intl. Workshop on Rule-Based Programming","author":"Schrijvers","year":"2006"},{"key":"S1471068409990123_ref51","first-page":"17","volume-title":"CSLP '04: Proc. First Intl. Workshop on Constraint Solving and Language Processing","author":"Dahl","year":"2004"},{"key":"S1471068409990123_ref187","unstructured":"Voets D. , Pilozzi P. and De Schreye D. 2007. A new approach to termination analysis of Constraint Handling Rules. In Djelloul et al. (2007), 77\u201389."},{"key":"S1471068409990123_ref155","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068405002541"},{"key":"S1471068409990123_ref152","unstructured":"Schrijvers T. and Fr\u00fchwirth T. 2005a. Analysing the CHR implementation of union-find. In Wolf et al. (2005), 135\u2013146."},{"key":"S1471068409990123_ref165","first-page":"48","volume-title":"WFLP '04: Proc. 13th Intl. Workshop on Functional and (Constraint) Logic Programming","author":"Sim\u00f5es","year":"2004"},{"key":"S1471068409990123_ref181","doi-asserted-by":"crossref","unstructured":"Ueda K. 2006. LMNtal as a unifying declarative language. In Schrijvers and Fr\u00fchwirth (2006), 1\u201315. Invited talk.","DOI":"10.1007\/11799573_47"},{"key":"S1471068409990123_ref167","unstructured":"Sneyers J. , Schrijvers T. and Demoen B. 2006a. Dijkstra's algorithm with Fibonacci heaps: An executable description in CHR. In Fink et al. (2006), 182\u2013191."},{"key":"S1471068409990123_ref132","unstructured":"Penn G. 2000. Applying Constraint Handling Rules to HPSG. In Fr\u00fchwirth et al. (2000)."},{"key":"S1471068409990123_ref168","unstructured":"Sneyers J. , Schrijvers T. and Demoen B. 2006b. Memory reuse for CHR. In Etalle and Truszczynski (2006), 72\u201386."},{"key":"S1471068409990123_ref171","volume-title":"ICLP '02: Proc. 18th Intl. Conf. Logic Programming","author":"Stuckey","year":"2002"},{"key":"S1471068409990123_ref191","first-page":"318","volume-title":"New Trends in Constraints, Joint ERCIM\/Compulog Net Workshop, October 1999, Selected papers","author":"Wolf","year":"2000"},{"key":"S1471068409990123_ref177","unstructured":"Sulzmann M. , Wazny J. and Stuckey P. J. 2005. Constraint abduction and constraint handling rules. In Schrijvers and Fr\u00fchwirth (2005b), 63\u201378."},{"key":"S1471068409990123_ref170","unstructured":"Sneyers J. , Van Weert P. and Schrijvers T. 2007. Aggregates for Constraint Handling Rules. In Djelloul et al. (2007), 91\u2013105."},{"key":"S1471068409990123_ref179","unstructured":"Thielscher M. 2002. Reasoning about actions with CHRs and finite domain constraints. In Stuckey (2002), 70\u201384."},{"key":"S1471068409990123_ref183","unstructured":"Van Weert P. , Schrijvers T. and Demoen B. 2005. K.U.Leuven JCHR: A user-friendly, flexible and efficient CHR system for Java. In Schrijvers and Fr\u00fchwirth (2005b), 47\u201362. System's homepage at URL: http:\/\/www.cs.kuleuven.be\/~petervw\/JCHR\/."},{"key":"S1471068409990123_ref185","unstructured":"Van Weert P. , Sneyers J. , Schrijvers T. and Demoen B. 2006. Extending CHR with negation as absence. In Schrijvers and Fr\u00fchwirth (2006), 125\u2013140."},{"key":"S1471068409990123_ref188","unstructured":"Voll K. 2006. A methodology of error detection: Improving speech recognition in radiology. Ph.D. thesis, Simon Fraser University, Canada."},{"key":"S1471068409990123_ref189","unstructured":"Wazny J. 2006. Type inference and type error diagnosis for Hindley\/Milner with extensions. Ph.D. Thesis, University of Melbourne, Australia."},{"key":"S1471068409990123_ref141","first-page":"701","article-title":"Constraint programming architectures: Review and a new proposal","volume":"13","author":"Robin","year":"2007","journal-title":"Journal of Universal Computer System"},{"key":"S1471068409990123_ref192","unstructured":"Wolf A. 2000b. Toward a rule-based solution of dynamic constraint hierarchies over finite domains. In Fr\u00fchwirth et al. (2000)."},{"key":"S1471068409990123_ref194","first-page":"211","volume-title":"Proc. 14th Intl. Conf. Applications of Prolog","author":"Wolf","year":"2001"},{"key":"S1471068409990123_ref153","volume-title":"CHR '05: Proc. 2nd Workshop on Constraint Handling Rules","author":"Schrijvers","year":"2005"},{"key":"S1471068409990123_ref195","unstructured":"Wolf A. 2005. Intelligent search strategies based on adaptive Constraint Handling Rules. In Abdennadher et al. (2005), 567\u2013594."},{"key":"S1471068409990123_ref197","unstructured":"Wolf A. , Gruenhagen T. and Geske U. 2000. On incremental adaptation of CHR derivations. In Holzbaur and Fr\u00fchwirth (2000b), 389\u2013416."},{"key":"S1471068409990123_ref198","unstructured":"Wolf A. , Robin J. and Vitorino J. 2007. Adaptive CHR meets CHR\u2228: An extended refined operational semantics for CHR\u2228 based on justifications. In Djelloul et al. (2007), 1\u201315."}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068409990123","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T23:49:18Z","timestamp":1685231358000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068409990123\/type\/journal_article"}},"subtitle":["A survey of CHR research from 1998 to 2007"],"short-title":[],"issued":{"date-parts":[[2009,12,22]]},"references-count":199,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,1]]}},"alternative-id":["S1471068409990123"],"URL":"https:\/\/doi.org\/10.1017\/s1471068409990123","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,12,22]]}}}