{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,8]],"date-time":"2025-07-08T05:12:15Z","timestamp":1751951535572},"publisher-location":"Berlin, Heidelberg","reference-count":27,"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_34","type":"book-chapter","created":{"date-parts":[[2010,4,5]],"date-time":"2010-04-05T15:22:41Z","timestamp":1270480961000},"page":"148-167","source":"Crossref","is-referenced-by-count":3,"title":["Induction of constraint logic programs"],"prefix":"10.1007","author":[{"given":"Mich\u00e8le","family":"Sebag","sequence":"first","affiliation":[]},{"given":"C\u00e9line","family":"Rouveirol","sequence":"additional","affiliation":[]},{"given":"Jean-Fran\u00e7ois","family":"Puget","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,30]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"F. Bergadano and A. Giordana. Guiding induction with domain theories. In Y. Kodratoff and R.S. Michalski, editors, Machine Learning: an artificial intelligence approach, volume 3, pages 474\u2013492. Morgan Kaufmann, 1990.","DOI":"10.1016\/B978-0-08-051055-2.50026-2"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"S. Dzeroski, L. Todorovski, and T. Urbancic. Handling real numbers in ILP: a step towards better behavioral clones. In N. Lavrac and S. Wrobel, editors, Proceedings of ECML-95, European Conference on Machine Learning, pages 283\u2013286. Springer Verlag, 1995.","DOI":"10.1007\/3-540-59286-5_68"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"A. Giordana, L. Saitta, and F. Zini. Learning disjunctive concepts by means of genetic algorithms. In Cohen W. and Hirsh H., editors, Proceedings of ICML-94, International Conference on Machine Learning, pages 96\u2013104. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-55860-335-6.50020-9"},{"key":"10_CR4","volume-title":"Manuel SOLVER","author":"ILOG","year":"1995","unstructured":"ILOG. Manuel SOLVER. ILOG, Gentilly, France, 1995."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J. L. Lassez. Constraint logic programming. In Proc. of the fourteenth ACM Symposium on the Principles of Programming Languages, pages 111\u2013119, 1987.","DOI":"10.1145\/41625.41635"},{"key":"10_CR6","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":"10_CR7","doi-asserted-by":"crossref","unstructured":"R.D. King, A. Srinivasan, and M.J.E. Sternberg. Relating chemical activity to structure: an examination of ILP successes. New Gen. Comput., 13, 1995.","DOI":"10.1007\/BF03037232"},{"key":"10_CR8","unstructured":"N. Lavra\u010d and S. D\u017eeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, 1994."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming, second extended edition. Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"R.S. Michalski. A theory and methodology of inductive learning. In R.S Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 1, pages 83\u2013134. Morgan Kaufmann, 1983.","DOI":"10.1016\/B978-0-08-051054-5.50008-X"},{"key":"10_CR11","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0004-3702(82)90040-6","volume":"18","author":"T.M. Mitchell","year":"1982","unstructured":"T.M. Mitchell. Generalization as search. Artificial Intelligence, 18:203\u2013226, 1982.","journal-title":"Artificial Intelligence"},{"key":"10_CR12","unstructured":"F. Mizoguchi and H. Ohwada. Constraint-directed generalizations for learning spatial relations. In Proceedings of ILP-91, International Workshop on Inductive Logic Programming, 1991."},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037227","volume":"13","author":"S. Muggleton","year":"1995","unstructured":"S. Muggleton. Inverse entailment and PROGOL. New Gen. Comput., 13:245\u2013286, 1995.","journal-title":"New Gen. Comput."},{"key":"10_CR14","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:629\u2013679, 1994.","journal-title":"Journal of Logic Programming"},{"key":"10_CR15","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the 1st conference on algorithmic learning theory. Ohmsha, Tokyo, Japan, 1990."},{"key":"10_CR16","unstructured":"C. D. Page and A. M. Frisch. Generalization and learnability: A study of constrained atoms. In S. Muggleton, editor, Proceedings of the first International Workshop on Inductive Logic Programming, pages 29\u201361, 1991."},{"key":"10_CR17","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"J.R. Quinlan. Learning logical definition from relations. Machine Learning, 5:239\u2013266, 1990.","journal-title":"Machine Learning"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"M. Sebag. A constraint-based induction algorithm in FOL. In W. Cohen and H. Hirsh, editors, Proceedings of ICML44, International Conference on Machine Learning, pages 275\u2013283. Morgan Kaufmann, July 1994.","DOI":"10.1016\/B978-1-55860-335-6.50041-6"},{"key":"10_CR19","unstructured":"M. Sebag. Delaying the choice of bias: A disjunctive version space approach. In L. Saitta, editor, Proceedings of the 13 th International Conference on Machine Learning, pages 444\u2013452. Morgan Kaufmann, 1996."},{"key":"10_CR20","unstructured":"M. Sebag and C. Rouveirol. Induction of maximally general clauses compatible with integrity constraints. In S. Wrobel, editor, Proceedings of ILP-94, International Workshop on Inductive Logic Programming, 1994."},{"key":"10_CR21","unstructured":"M. Sebag and C. Rouveirol. Constraint inductive logic programming. In L. de Raedt, editor, Advances in ILP, pages 277\u2013294. IOS Press, 1996."},{"key":"10_CR22","unstructured":"M. Sebag and C. Rouveirol. Tractable induction and classification in FOL. In Proceedings of IJCAI-97. Morgan Kaufmann, 1997."},{"key":"10_CR23","unstructured":"A. Srinivasan and S. Muggleton. Comparing the use of background knowledge by two ILP systems. In L. de Raedt, editor, Proceedings of ILP-95. Katholieke Universiteit Leuven, 1995."},{"key":"10_CR24","unstructured":"P. Van Hentenryck and Deville Y. Constraint Logic Programming. In Proceedings of POPL'97, 1987."},{"key":"10_CR25","doi-asserted-by":"crossref","unstructured":"P. Van Hentenryck and Deville Y. Operational semantics of constraint logic programming over finite domains. In Proceedings of POPL'97, 1991.","DOI":"10.1007\/3-540-54444-5_115"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"J.-D. Zucker and J. G. Ganascia. Selective reformulation of examples in concept learning. In W. Cohen and H. Hirsh, editors, Proc. of 11th International Conference on Machine Learning, pages 352\u2013360. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-55860-335-6.50050-7"},{"key":"10_CR27","unstructured":"J.-D. Zucker and J.-G. Ganascia. Representation changes for efficient learning in structural domains. In L. Saitta, editor, Proceedings of the 13 th International Conference on Machine Learning, pages 543\u2013551, 1996."}],"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_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T20:13:12Z","timestamp":1558987992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64413-X_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540644132","9783540697800"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-64413-x_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}