{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:47:52Z","timestamp":1742914072910,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540428633"},{"type":"electronic","value":"9783540455783"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","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":[[2001]]},"DOI":"10.1007\/3-540-45578-7_3","type":"book-chapter","created":{"date-parts":[[2007,5,28]],"date-time":"2007-05-28T06:34:25Z","timestamp":1180334065000},"page":"31-45","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Towards Inductive Constraint Solving"],"prefix":"10.1007","author":[{"given":"Slim","family":"Abdennadher","sequence":"first","affiliation":[]},{"given":"Christophe","family":"Rigotti","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,11,19]]},"reference":[{"key":"3_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1007\/BFb0017444","volume-title":"Operational semantics and confluence of constraint propagation rules","author":"S. Abdennadher","year":"1997","unstructured":"S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Proc. of the third International Conference on Principles and Practice of Constraint Programming, CP\u201997, LNCS 1330, pages 252\u2013266. Springer-Verlag, November 1997."},{"issue":"2","key":"3_CR2","first-page":"133","volume":"4","author":"S. Abdennadher","year":"1999","unstructured":"S. Abdennadher, T. Fr\u00fchwirth, and H. Meuss. Confluence and semantics of constraint simplification rules. Constraints Journal, Special Issue on the Second International Conference on Principles and Practice of Constraint Programming, 4(2):133\u2013165, May 1999.","journal-title":"Confluence and semantics of constraint simplification rules"},{"key":"3_CR3","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-45349-0_4","volume-title":"Automatic generation of propagation rules for finite domains","author":"S. Abdennadher","year":"2000","unstructured":"S. Abdennadher and C. Rigotti. Automatic generation of propagation rules for finite domains. In Proc. of the 6th International Conference on Principles and Practice of Constraint Programming, CP\u201900, LNCS 1894, pages 18\u201334. Springer-Verlag, September 2000."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"S. Abdennadher and C. Rigotti. Using confluence to generate rule-based constraint solvers. In Proc. of the third International Conference on Principles and Practice of Declarative Programming. ACM Press, September 2001. To appear.","DOI":"10.1145\/773184.773198"},{"key":"3_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/b96986","volume-title":"Automatic generation of constraint propagation algorithms for small finite domains","author":"K. Apt","year":"2004","unstructured":"K. Apt and E. Monfroy. Automatic generation of constraint propagation algorithms for small finite domains. In Proc. of the 5th International Conference on Principles and Practice of Constraint Programming, CP\u201999, LNCS 1713, pages 58\u201372. Springer-Verlag, October 1999."},{"issue":"1\u20133","key":"3_CR6","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"T. Fr\u00fchwirth. Theory and practice of constraint handling rules, special issue on constraint logic programming. Journal of Logic Programming, 37(1\u20133):95\u2013138, October 1998.","journal-title":"Journal of Logic Programming"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"T. Fr\u00fchwirth. Proving termination of constraint solver programs. In New Trends in Constraints, pages 298\u2013317. LNAI 1865, 2000.","DOI":"10.1007\/3-540-44654-0_15"},{"issue":"1\u20133","key":"3_CR8","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/S0743-1066(98)10006-7","volume":"37","author":"P. V. Hentenryck","year":"1998","unstructured":"P. V. Hentenryck, V. Saraswat, and Y. Deville. Desing, implementation, and evaluation of the constraint language cc(FD). Journal of Logic Programming, 37(1\u20133):139\u2013164, 1998.","journal-title":"Journal of Logic Programming"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\u201320","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19\u201320:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"3_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/3-540-61863-5_44","volume-title":"Induction of constraint logic programs","author":"L. Martin","year":"1996","unstructured":"L. Martin and C. Vrain. Induction of constraint logic programs. In Proc. of the International Conference on Algorithms and Learning Theory, LNCS 1160, pages 169\u2013176. Springer-Verlag, October 1996."},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/BF03037230","volume":"13","author":"F. Mizoguchi","year":"1995","unstructured":"F. Mizoguchi and H. Ohwada. Constrained relative least general generalization for inducing constraint logic programs. New Generation Computing, 13:335\u2013368, 1995.","journal-title":"New Generation Computing"},{"issue":"20","key":"3_CR12","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1016\/0743-1066(94)90035-3","volume":"19","author":"S. Muggleton","year":"1994","unstructured":"S. Muggleton and L. De Raedt. Inductive Logic Programming: theory and methods. Journal of Logic Programming, 19,20:629\u2013679, 1994.","journal-title":"Journal of Logic Programming"},{"key":"3_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-64413-X_25","volume-title":"Learning and reasoning with complex representations","author":"S. Padmanabhuni","year":"1998","unstructured":"S. Padmanabhuni and A. K. Ghose. Inductive constraint logic programming: An overview. In Learning and reasoning with complex representations, LNCS 1359, pages 1\u20138. Springer-Verlag, 1998."},{"key":"3_CR14","first-page":"29","volume-title":"Inductive Logic Programming","author":"C. Page","year":"1992","unstructured":"C. Page and A. Frisch. Generalization and learnability: a study of constrained atoms. In Inductive Logic Programming, pages 29\u201361. London: Academic Press, 1992."},{"key":"3_CR15","first-page":"153","volume":"5","author":"G. Plotkin","year":"1970","unstructured":"G. Plotkin. A note on inductive generalization. In Machine Intelligence, volume 5, pages 153\u2013163. Edinburgh University Press, 1970.","journal-title":"Machine Intelligence"},{"issue":"3","key":"3_CR16","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0743-1066(93)90047-K","volume":"16","author":"T. L. Provost","year":"1993","unstructured":"T. L. Provost and M. Wallace. Generalized constraint propagation over the CLP scheme. Journal of Logic Programming, 16(3):319\u2013359, 1993.","journal-title":"Journal of Logic Programming"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"C. Ringeissen and E. Monfroy. Generating propagation rules for finite domains: A mixed approach. In New Trends in Constraints, pages 150\u2013172. LNAI 1865, 2000.","DOI":"10.1007\/3-540-44654-0_8"},{"key":"3_CR18","unstructured":"M. Sebag and C. Rouveirol. Constraint inductive logic programming. In Advances in ILP, pages 277\u2013294. IOS Press, 1996."},{"key":"3_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-16492-8_66","volume-title":"OLD resolution with tabulation","author":"H. Tamaki","year":"1986","unstructured":"H. Tamaki and T. Sato. OLD resolution with tabulation. In Proc. of the 3rd International Conference on Logic Programming, LNCS 225, pages 84\u201398. Springer-Verlag, 1986."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"J. W\u00fcrtz and T. M\u00fcller. Constructive disjunction revisited. In Proc. of the 20th German Annual Conference on Artificial Intelligence, LNAI 1137, pages 377\u2013386. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61708-6_78"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2014 CP 2001"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45578-7_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,30]],"date-time":"2020-03-30T21:09:35Z","timestamp":1585602575000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45578-7_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540428633","9783540455783"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45578-7_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"19 November 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}