{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:11:59Z","timestamp":1742973119348,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540922421"},{"type":"electronic","value":"9783540922438"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-92243-8_3","type":"book-chapter","created":{"date-parts":[[2009,3,25]],"date-time":"2009-03-25T11:02:36Z","timestamp":1237978956000},"page":"48-69","source":"Crossref","is-referenced-by-count":3,"title":["Adaptive CHR Meets CHR\u2009\u2228"],"prefix":"10.1007","author":[{"given":"Armin","family":"Wolf","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jacques","family":"Robin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jairson","family":"Vitorino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0055987","volume-title":"Flexible Query Answering Systems","author":"S. Abdennadher","year":"1998","unstructured":"Abdennadher, S., Sch\u00fctz, H.: CHR\n                  \n                    \n                  \n                  $^{\\lor}$\n                : A flexible query language. In: Andreasen, T., Christiansen, H., Larsen, H.L. (eds.) FQAS 1998. LNCS (LNAI), vol.\u00a01495, pp. 1\u201314. Springer, Heidelberg (1998)"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/978-3-540-27775-0_7","volume-title":"Logic Programming","author":"G.J. Duck","year":"2004","unstructured":"Duck, G.J., Garc\u00eda de la Banda, M., Stuckey, P.J., Holzbaur, C.: The refined operational semantics of constraint handling rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol.\u00a03132, pp. 90\u2013104. Springer, Heidelberg (2004)"},{"key":"3_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S1571-0661(04)80789-8","volume":"76","author":"T. Fr\u00fchwirth","year":"2002","unstructured":"Fr\u00fchwirth, T., Di Pierro, A., Wiklicky, H.: Probabilistic constraint handling rules. Electronic Notes in Theoretical Computer Science\u00a076, 1\u201316 (2002)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/3-540-59155-9_6","volume-title":"Constraint Programming: Basics and Trends","author":"T. Fr\u00fchwirth","year":"1995","unstructured":"Fr\u00fchwirth, T.: Constraint Handling Rules. In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol.\u00a0910, pp. 90\u2013107. Springer, Heidelberg (1995)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of Constraint Handling Rules. The Journal of Logic Programming\u00a037, 95\u2013138 (1998)","journal-title":"The Journal of Logic Programming"},{"key":"3_CR6","series-title":"Series of Books in the Mathematical Sciences","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability: A Guide to the Theory of NP-Completeness. Series of Books in the Mathematical Sciences. W. H. Freeman & Co., New York (1979)"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.1","volume":"1","author":"M.L. Ginsberg","year":"1993","unstructured":"Ginsberg, M.L.: Dynamic backtracking. Journal of Artificial Intelligence Research\u00a01, 25\u201346 (1993)","journal-title":"Journal of Artificial Intelligence Research"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1080\/088395100117043","volume":"14","author":"C. Holzbaur","year":"2000","unstructured":"Holzbaur, C., Fr\u00fchwirth, T.: A Prolog Constraint Handling Rules compiler and runtime system. Applied Artificial Intelligence\u00a014(4), 369\u2013388 (2000)","journal-title":"Applied Artificial Intelligence"},{"key":"3_CR9","unstructured":"De Koninck, L., Schrijvers, T., Demoen, B.: Flexible search strategies in Prolog CHR. Report CW 447, Department of Computer Science, K.\u00a0U.\u00a0Leuven (May 2006); Also presented at the Workshop on CHR (2006)"},{"key":"3_CR10","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-92243-8_2","volume-title":"Constraint Handling Rules","author":"L. Koninck De","year":"2008","unstructured":"De Koninck, L., Schrijvers, T., Demoen, B.: A Flexible Search Framework for CHR. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) Constraint Handling Rules. LNCS (LNAI), vol.\u00a05388, pp. 16\u201347. Springer, Heidelberg (2008)"},{"issue":"3","key":"3_CR11","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1111\/j.1467-8640.1993.tb00310.x","volume":"9","author":"P. Prosser","year":"1991","unstructured":"Prosser, P.: Hybrid algorithms for the constraint satisfaction problem. Computational Intelligence\u00a09(3), 268\u2013299 (1991); also available as technical report AISL-46-91, Stratchclyde (1991)","journal-title":"Computational Intelligence"},{"key":"3_CR12","unstructured":"The ROARS project (last visited February 25, 2008), \n                  \n                    http:\/\/www.cin.ufpe.br\/~jr\/mysite\/RoarsProject.html"},{"issue":"1\u20132","key":"3_CR13","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1017\/S1471068405002541","volume":"6","author":"T. Schrijvers","year":"2006","unstructured":"Schrijvers, T., Fr\u00fchwirth, T.: Optimal union-find in constraint handling rules. Theory and Practice of Logic Programming\u00a06(1\u20132), 213\u2013224 (2006)","journal-title":"Theory and Practice of Logic Programming"},{"key":"3_CR14","unstructured":"Sneyers, J., Schrijvers, T., Demoen, B.: The computational power and complexity of constraint handling rules. In: Schrijvers, T., Fr\u00fchwirth, T. (eds.) Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules, number CW 421 in CW Reports, pp. 3\u201317. Katholieke Universiteit Leuven, Department of Computer Science (2005) (last visited August 26, 2008), \n                  \n                    http:\/\/www.cs.kuleuven.be\/publicaties\/rapporten\/cw\/CW421.abs.html"},{"key":"3_CR15","unstructured":"Wolf, A.: Projection in adaptive constraint solving based on chrs. In: Apt, K.R., Kakas, A.C., Monfroy, E., Rossi, F. (eds.) Proceedings of the ERCIM\/COMPULOG Workshop on Constraints, Department of Computer Science, University of Cyprus, Nicosia, Cyprus (October 1999)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-45578-7_18","volume-title":"Principles and Practice of Constraint Programming - CP 2001","author":"A. Wolf","year":"2001","unstructured":"Wolf, A.: Adaptive constraint handling with CHR in Java. In: Walsh, T. (ed.) CP 2001. LNCS, vol.\u00a02239, pp. 256\u2013270. Springer, Heidelberg (2001)"},{"issue":"4\u20135","key":"3_CR17","doi-asserted-by":"publisher","first-page":"567","DOI":"10.1017\/S1471068405002383","volume":"5","author":"A. Wolf","year":"2005","unstructured":"Wolf, A.: Intelligent search strategies based on adaptive constraint handling rules. Theory and Practice of Logic Programming\u00a05(4\u20135), 567\u2013594 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4","key":"3_CR18","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1080\/088395100117052","volume":"14","author":"A. Wolf","year":"2000","unstructured":"Wolf, A., Gruenhagen, T., Geske, U.: On incremental adaptation of CHR derivations. Applied Artificial Intelligence\u00a014(4), 389\u2013416 (2000)","journal-title":"Applied Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Constraint Handling Rules"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-92243-8_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T00:34:07Z","timestamp":1578530047000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-92243-8_3"}},"subtitle":["An Extended Refined Operational Semantics for CHR\u2009\u2228\u2009 Based on Justifications"],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540922421","9783540922438"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-92243-8_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}