{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:57Z","timestamp":1740099117686,"version":"3.37.3"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319944593"},{"type":"electronic","value":"9783319944609"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-94460-9_9","type":"book-chapter","created":{"date-parts":[[2018,7,9]],"date-time":"2018-07-09T15:36:38Z","timestamp":1531150598000},"page":"147-163","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms"],"prefix":"10.1007","author":[{"given":"Thom","family":"Fr\u00fchwirth","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,7,10]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/BFb0017444","volume-title":"Principles and Practice of Constraint Programming-CP97","author":"S Abdennadher","year":"1997","unstructured":"Abdennadher, S.: Operational semantics and confluence of constraint propagation rules. In: Smolka, G. (ed.) CP 1997. LNCS, vol. 1330, pp. 252\u2013266. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0017444"},{"issue":"2","key":"9_CR2","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1023\/A:1009842826135","volume":"4","author":"S Abdennadher","year":"1999","unstructured":"Abdennadher, S., Fr\u00fchwirth, T., Meuss, H.: Confluence and semantics of constraint simplification rules. Constraints 4(2), 133\u2013165 (1999)","journal-title":"Constraints"},{"key":"9_CR3","volume-title":"A Unified Analytical Foundation for Constraint Handling Rules","author":"H Betz","year":"2014","unstructured":"Betz, H.: A Unified Analytical Foundation for Constraint Handling Rules. BoD, Norderstedt (2014)"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"731","DOI":"10.1016\/S1574-6526(06)80025-8","volume-title":"Handbook of Constraint Programming, Chap. 21","author":"KN Brown","year":"2006","unstructured":"Brown, K.N., Miguel, I.: Uncertainty and change. In: Rossi, F., Van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming, Chap. 21, pp. 731\u2013760. Elsevier, Amsterdam (2006)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","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. 5388, pp. 16\u201347. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-92243-8_2"},{"issue":"4\u20135","key":"9_CR6","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1017\/S1471068412000208","volume":"12","author":"GJ Duck","year":"2012","unstructured":"Duck, G.J.: SMCHR: Satisfiability modulo constraint handling rules. Theory Pract. Logic Programm. 12(4\u20135), 601\u2013618 (2012)","journal-title":"Theory Pract. Logic Programm."},{"key":"9_CR7","unstructured":"Fr\u00fchwirth, T., Raiser, F. (eds.): Constraint Handling Rules - Compilation, Execution, and Analysis. BOD (2018). ISBN 9783746069050"},{"key":"9_CR8","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609886","volume-title":"Constraint Handling Rules","author":"T Fr\u00fchwirth","year":"2009","unstructured":"Fr\u00fchwirth, T.: Constraint Handling Rules. Cambridge University Press, Cambridge (2009)"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-319-21542-6_2","volume-title":"Rule Technologies: Foundations, Tools, and Applications","author":"T Fr\u00fchwirth","year":"2015","unstructured":"Fr\u00fchwirth, T.: Constraint handling rules - what else? In: Bassiliades, N., Gottlob, G., Sadri, F., Paschke, A., Roman, D. (eds.) RuleML 2015. LNCS, vol. 9202, pp. 13\u201334. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21542-6_2"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Fruehwirth, T.: Implementation of logical retraction in constraint handling rules with justifications. In: 21st International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2017), September 2017","DOI":"10.1007\/978-3-030-00801-7_3"},{"key":"9_CR11","unstructured":"McAllester, D.A.: Truth maintenance. In: AAAI, vol. 90, pp. 1109\u20131116 (1990)"},{"key":"9_CR12","unstructured":"Raiser, F., Betz, H., Fr\u00fchwirth, T.: Equivalence of CHR states revisited. In: Raiser, F., Sneyers, J. (eds.) CHR 2009, pp. 33\u201348. Technical report CW 555, Deparment of Computer Science, KU Leuven, July 2009"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Stuckey, P.J., Sulzmann, M., Wazny, J.: Interactive type debugging in Haskell. In: Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, pp. 72\u201383. ACM (2003)","DOI":"10.1145\/871895.871903"},{"issue":"4","key":"9_CR14","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 the incremental adaptation of CHR derivations. Appl. Artif. Intell. 14(4), 389\u2013416 (2000)","journal-title":"Appl. Artif. Intell."},{"key":"9_CR15","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 \u2014 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. 2239, pp. 256\u2013270. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45578-7_18"},{"issue":"4\u20135","key":"9_CR16","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 Pract. Logic Program. 5(4\u20135), 567\u2013594 (2005)","journal-title":"Theory Pract. Logic Program."}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-94460-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,27]],"date-time":"2022-08-27T04:05:16Z","timestamp":1661573116000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-94460-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319944593","9783319944609"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-94460-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}