{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:56:13Z","timestamp":1725551773891},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540644132"},{"type":"electronic","value":"9783540697800"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64413-x_25","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T19:22:41Z","timestamp":1270495361000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Inductive constraint logic programming: An overview"],"prefix":"10.1007","author":[{"given":"Srinivas","family":"Padmanabhuni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aditya K.","family":"Ghose","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"J. Jaffar and M.J.Maher. Constraint logic programming: a survey. Journal of Logic Programming, pages 503\u2013581, 1994.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"1_CR2","first-page":"93","volume-title":"Proceedings of the IJCAI-93 workshop on inductive logic programming","author":"T. Kawamura","year":"1993","unstructured":"T. Kawamura and K. Furukawa. Towards inductive generalization in constraint logic programs. In Proceedings of the IJCAI-93 workshop on inductive logic programming, pages 93\u2013104, Chamberry, France, August 1993. Academic Press."},{"key":"1_CR3","unstructured":"F. Jacquenet M. Bernard and C. Nicolini. Induction of constraint logic programs for computer-aided publishing. In Proceedings of the International Conference on Artificial Intelligence and Soft Computing, Banff, Canada, 1997."},{"key":"1_CR4","volume-title":"Proceedings of Algorithms and Learning Theory (ALT) \u2014 1996","author":"L. Martin","year":"1996","unstructured":"Lionel Martin and Christel Wain. Induction of constraint logic programs. In Proceedings of Algorithms and Learning Theory (ALT) \u2014 1996, Sydney, Australia, 1996. Springer Verlag."},{"key":"1_CR5","unstructured":"F. Mizoguchi and H. Ohwada. Constraint-directed generalization for learning spatial relations. In Proc. Second international workshop on ILP, Tokyo, Japan, 1992."},{"key":"1_CR6","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\u201d. New Generation Computing, 13:335\u2013368, 1995.","journal-title":"New Generation Computing"},{"key":"1_CR7","unstructured":"C.D. Page and A.M. Frisch. Generalizing atoms in constraint logic. In Proc. Second international conference on knowledge representaion and reasoning, pages 429\u2013440, 1991."},{"key":"1_CR8","first-page":"101","volume":"5","author":"G.D. Plotkin","year":"1971","unstructured":"G.D. Plotkin. A note on inductive generalization. Machine Intelligence, 5:101\u2013124, 1971.","journal-title":"Machine Intelligence"},{"key":"1_CR9","unstructured":"M. Sebag and C. Rouveirol. Constraint inductive logic programming, pages 277\u2013294. Advances in ILP. IOS Press, 1996."},{"key":"1_CR10","unstructured":"Michele Sebag and Celine Rouveirol. Induction of maximally general clauses compatible with integrity constraints. In Stefan Wrobel, editor, Proc. of Fourth International workshop on Inductive Logic Programming, 1994."}],"container-title":["Lecture Notes in Computer Science","Learning and Reasoning with Complex Representations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64413-X_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T03:15:57Z","timestamp":1550114157000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}