{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,15]],"date-time":"2025-07-15T03:47:13Z","timestamp":1752551233803,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540604549"},{"type":"electronic","value":"9783540474708"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60454-5_30","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:38:41Z","timestamp":1330288721000},"page":"80-94","source":"Crossref","is-referenced-by-count":60,"title":["Inductive constraint logic"],"prefix":"10.1007","author":[{"given":"Luc","family":"Raedt","sequence":"first","affiliation":[]},{"given":"Wim","family":"Laer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"H. Ad\u00e9, L. De Raedt, and M. Bruynooghe. Declarative Bias for Specific-To-General ILP Systems. Machine Learning, 1995. To appear.","DOI":"10.1007\/BF00993477"},{"issue":"4","key":"6_CR2","first-page":"261","volume":"3","author":"P. Clark","year":"1989","unstructured":"P. Clark and T. Niblett. The CN2 algorithm. Machine Learning, 3(4):261\u2013284, 1989.","journal-title":"Machine Learning"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(94)90112-0","volume":"70","author":"L. Raedt De","year":"1994","unstructured":"L. De Raedt and S. D\u017eeroski. First order jk-clausal theories are pac-learnable. Artificial Intelligence, 70:375\u2013392, 1994.","journal-title":"Artificial Intelligence"},{"key":"6_CR4","unstructured":"L. De Raedt, N. Lavra\u010d, and S. D\u017eeroski. Multiple predicate learning. In Proceedings of the 13th International Joint Conference on Artificial Intelligence, pages 1037\u20131042. Morgan Kaufmann, 1993."},{"key":"6_CR5","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0004-3702(85)90003-7","volume":"25","author":"T.G. Dietterich","year":"1985","unstructured":"T.G. Dietterich and R.S. Michalski. Discovering patterns in sequences of events. Artificial Intelligence, 25:257\u2013294, 1985.","journal-title":"Artificial Intelligence"},{"key":"6_CR6","unstructured":"M. Genesereth and N. Nilsson. Logical foundations of artificial intelligence. Morgan Kaufmann, 1987."},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0004-3702(88)90002-1","volume":"36","author":"D. Haussler","year":"1988","unstructured":"D. Haussler. Quantifying inductive bias: AI learning algorithms and Valiant's learning framework. Artificial Intelligence, 36:177\u2013221, 1988.","journal-title":"Artificial Intelligence"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"R.D. King, S. Muggleton, R.A. Lewis, and M.J.E. Sternberg. Drug design by machine learning: the use of inductive logic programming to model the structure-activity relationships of trimethoprim analogues binding to dihydrofolate reductase. Proceedings of the National Academy of Sciences, 89(23), 1992.","DOI":"10.1073\/pnas.89.23.11322"},{"key":"6_CR9","unstructured":"N. Lavra\u010d and S. D\u017eeroski. Inductive Logic Programming: Techniques and Applications. Ellis Horwood, 1994."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of logic programming. Springer-Verlag, 2nd edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"6_CR11","unstructured":"R.S. Michalski and R.E. Stepp. Learning from observation: conceptual clustering. In R.S Michalski, J.G. Carbonell, and T.M. Mitchell, editors, Machine Learning: an artificial intelligence approach, volume 1. Tioga Publishing Company, 1983."},{"key":"6_CR12","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. Morgan Kaufmann, 1983.","DOI":"10.1016\/B978-0-08-051054-5.50008-X"},{"key":"6_CR13","first-page":"79","volume":"19","author":"R.J. Mooney","year":"1995","unstructured":"R.J. Mooney. Encouraging experimental results on learning cnf. Machine Learning, 19:79\u201392, 1995.","journal-title":"Machine Learning"},{"issue":"20","key":"6_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, 20:629\u2013679, 1994.","journal-title":"Journal of Logic Programming"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"S. Muggleton, M. Bain, J. Hayes-Michie, and D. Michie. An experimental comparison of human and machine learning formalisms. In Proceedings of the 6th International Workshop on Machine Learning, pages 113\u2013118. Morgan Kaufmann, 1989.","DOI":"10.1016\/B978-1-55860-036-2.50037-0"},{"key":"6_CR16","unstructured":"S. Muggleton, editor. Inductive Logic Programming. Academic Press, 1992."},{"key":"6_CR17","unstructured":"G. Plotkin. A note on inductive generalization. In Machine Intelligence, volume 5, pages 153\u2013163. Edinburgh University Press, 1970."},{"key":"6_CR18","first-page":"81","volume":"1","author":"J.R. Quinlan","year":"1986","unstructured":"J.R. Quinlan. Induction of decision trees. Machine Learning, 1:81\u2013106, 1986.","journal-title":"Machine Learning"},{"key":"6_CR19","first-page":"239","volume":"5","author":"J.R. Quinlan","year":"1990","unstructured":"J.R. Quinlan. Learning logical definitions from relations. Machine Learning, 5:239\u2013266, 1990.","journal-title":"Machine Learning"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1023\/A:1022678217288","volume":"14","author":"C. Rouveirol","year":"1994","unstructured":"C. Rouveirol. Flattening and saturation: Two representation changes for generalization. Machine Learning, 14:219\u2013232, 1994.","journal-title":"Machine Learning"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro. Algorithmic Program Debugging. The MIT Press, 1983.","DOI":"10.7551\/mitpress\/1192.001.0001"},{"key":"6_CR22","unstructured":"A. Srinivasan, S.H. Muggleton, R.D. King, and M.J.E. Sternberg. Mutagenesis: Ilp experiments in a non-determinate biological domain. In S. Wrobel, editor, Proceedings of the 4th International Workshop on Inductive Logic Programming, volume 237 of GMD-Studien, pages 217\u2013232. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung MBH, 1994."},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"P.R.J. van der Laag and S.-H. Nienhuys-Cheng. Subsumption and refinement in model inference. In P. Brazdil, editor, Proceedings of the 6th European Conference on Machine Learning, volume 667 of Lecture Notes in Artificial Intelligence, pages 95\u2013114. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56602-3_130"},{"key":"6_CR24","unstructured":"W. Van Laer, L. Dehaspe, and L. De Raedt. Applications of a logical discovery engine. In Proceedings of the AAAI Workshop on Knowledge Discovery in Databases, pages 263\u2013274, 1994."}],"container-title":["Lecture Notes in Computer Science","Algorithmic Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60454-5_30.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:04:30Z","timestamp":1742598270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60454-5_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540604549","9783540474708"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-60454-5_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}