{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:42:37Z","timestamp":1752230557942},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540677956"},{"type":"electronic","value":"9783540449607"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44960-4_12","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T12:59:31Z","timestamp":1178197171000},"page":"191-208","source":"Crossref","is-referenced-by-count":22,"title":["Towards Learning in CARIN-ALN"],"prefix":"10.1007","author":[{"given":"C\u00e9line","family":"Rouveirol","sequence":"first","affiliation":[]},{"given":"V\u00e9ronique","family":"Ventos","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"H. Ait-Kaci and A. Podelski. Towards the meaning of LIFE. In J. Maluszynski and M. Wirsing, editors, Proceedings on 3rd International Symposium on Programming Language Implementation and Logic Programming, pages 255\u2013274, Berlin, 1991.","DOI":"10.1007\/3-540-54444-5_104"},{"key":"12_CR2","unstructured":"E. Alphonse and C. Rouveirol. Lazy propositionalisation for relational learning. In W. Horn, editor, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, 2000. IOS Press. to appear."},{"key":"12_CR3","unstructured":"P. Br\u00e9zellec, M. Champesme, and H. Soldano. Tabata, a learning algorithm searching a minimal space using a tabu strategy. In H. Prade, editor, Proceedings of the 13th European Conference on Artificial Intelligence, pages 420\u2013424, Brighton, 1998. Wiley."},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1009867806624","volume":"3","author":"H. Blockheel","year":"1999","unstructured":"H. Blockheel, L. De Raedt, and B. Jacobs, N.and Demoen. Scaling up inductive logic programming by learning from interpretaions. Data Mining and Knowledge Discovery, 3(1):59\u201393, 1999.","journal-title":"Data Mining and Knowledge Discovery"},{"key":"12_CR5","doi-asserted-by":"crossref","first-page":"278","DOI":"10.1613\/jair.56","volume":"1","author":"A. Borgida","year":"1994","unstructured":"A. Borgida and P. F. Patel-Schneider. Complete algorithm for subsumption in the CLASSIC description logic. Journal of Artificial Intelligence Research, 1:278\u2013308, 1994.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"12_CR6","unstructured":"R.J. Brachman. A structural paradigm for representing knowledge. Technical Report 3605, BBN Report, 1978."},{"key":"12_CR7","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(88)90001-X","volume":"36","author":"W. Buntine","year":"1988","unstructured":"W. Buntine. Generalized subsumption and its application to induction and redundancy. Artificial Intelligence, 36:375\u2013399, 1988.","journal-title":"Artificial Intelligence"},{"key":"12_CR8","volume-title":"Technical report","author":"W. W. Cohen","year":"1992","unstructured":"W. W. Cohen and H. Hirsh. Learnability of the classic knowledge representation language. Technical report, AT Bell Laboratories, New York, 1992."},{"issue":"4","key":"12_CR9","first-page":"169","volume":"2","author":"W. W. Cohen","year":"1994","unstructured":"W. W. Cohen and H. Hirsh. The learnability of the description logics with equality constraints. Machine Learning, 2(4):169\u2013199, 1994.","journal-title":"Machine Learning"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"W. W. Cohen and H. Hirsh. Learning the CLASSIC description logic: Theoretical and experimental results. In International Conference on Knowledge Representation and Reasoning, pages 121\u2013133. 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50108-1"},{"key":"12_CR11","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi, and W. Nutt. The complexity of concept languages. In J.A. Allen R. Fikes and E Sandewall, editors, Principles of Knowledge Representation and Reasoning: 2nd International Conference, pages 151\u2013162, Cambridge, Mass., 1991."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"F.M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. A hybrid system with datalog and concept languages. In E. Ardizzone, S. Gablio, and F. Sorbello, editors, Trends in Artificial Intelligence, volume 549of Lecture Notes in Artificial Intelligence, pages 88\u201397. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54712-6_221"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0004-3702(97)00041-6","volume":"95","author":"L. Raedt De","year":"1997","unstructured":"L. De Raedt. Logical settings for concept learning. Artificial Intelligence, 95:187\u2013201, 1997.","journal-title":"Artificial Intelligence"},{"key":"12_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1026443024002","volume":"25","author":"M. Frazier","year":"1996","unstructured":"M. Frazier and L. Pitt. Classic learning. Machine Learning, 25:151\u2013193, 1996.","journal-title":"Machine Learning"},{"key":"12_CR15","unstructured":"F. Goasdou\u00e9, V. Latt\u00e8s, and Rousset M.-Ch. The use of carin language and algorithms for information integration: The picsel system. International Journal of Cooperative Systems. submitted."},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"M-E. Goncalves. Handling quantifiers in ILP. In S. Muggleton, editor, Proc. of the 6th International Workshop on Inductive Logic Programming, pages 337\u2013357. Springer Verlag, 1997.","DOI":"10.1007\/3-540-63494-0_64"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"J-U. Kietz and M. L\u00fcbbe. An efficient subsumption algorithm for inductive logic programming. In William W. Cohen and Haym Hirsh, editors, Proc. 11th International Conference on Machine Learning, pages 130\u2013138. Morgan Kaufmann, 1994.","DOI":"10.1016\/B978-1-55860-335-6.50024-6"},{"issue":"2","key":"12_CR18","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1023\/A:1022626200450","volume":"14","author":"J. U. Kietz","year":"1994","unstructured":"J. U. Kietz and K. Morik. A polynomial approach to the constructive induction of structural knowledge. Machine Learning, 14(2):193\u2013217, 1994.","journal-title":"Machine Learning"},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"A. Levy and M.-Ch. Rousset. Verification of knowledge bases based on containment checking. Artificial Intelligence, 101(1\u20132), 1998.","DOI":"10.1016\/S0004-3702(98)00021-6"},{"key":"12_CR20","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1016\/S0004-3702(98)00048-4","volume":"104","author":"A. Y. Levy","year":"1998","unstructured":"A. Y. Levy and M.-Ch. Rousset. Combining horn rules and description logics in carin. Artificial Intelligence, 104:165\u2013209, 1998.","journal-title":"Artificial Intelligence"},{"key":"12_CR21","unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In Proceedings of the 1st Conference on Algorithmic Learning Theory, pages 368\u2013381. Ohmsma, Tokyo, Japan, 1990."},{"key":"12_CR22","series-title":"Technical report","volume-title":"A new East-West challenge","author":"D. Michie","year":"1994","unstructured":"D. Michie, S. Muggleton, D. Page, and A. Srinivasan. To the international computing community: A new East-West challenge. Technical report, Oxford University Computing laboratory, Oxford,UK, 1994. URL: ftp:\/\/ftp.comlab.ox.ac.uk\/pub\/Packages\/ILP\/trains.tar.Z."},{"key":"12_CR23","doi-asserted-by":"crossref","unstructured":"S.-H. Nienhuys-Cheng, W. Van Laer, J. Ramon, and L. De Raedt. Generalizing refinement operators to learn prenex conjunctive normal forms. In S D\u017eeroski and P. Flach, editors, Proc. of the 9th International Conference on Inductive Logic Programming, pages 245\u2013256. Springer Verlag, 1999.","DOI":"10.1007\/3-540-48751-4_23"},{"key":"12_CR24","volume-title":"Technical report, KIT-Report","author":"J. Quantz","year":"1996","unstructured":"J. Quantz, G. Dunker, F. Bergmann, and I. Kellner. The flex system. Technical report, KIT-Report, Technische Universit\u00e4t, Berlin, Germany, 1996."},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L.G. Valiant","year":"1984","unstructured":"L.G. Valiant. A theory of the learnable. Communications of the ACM, 27:1134\u20131142, 1984.","journal-title":"Communications of the ACM"},{"key":"12_CR26","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1016\/0004-3702(88)90088-4","volume":"36","author":"F. Harmelen Van","year":"1988","unstructured":"F. Van Harmelen and A. Bundy. Explanation based generalisation = partial evaluation. Artificial Intelligence, 36:401\u2013412, 1988.","journal-title":"Artificial Intelligence"},{"key":"12_CR27","unstructured":"J.R. Wright, E.S. Weixelbaum, K. Brown, G.T. Vesonder, S.R. Palmer, J.I. Berman, and H.H. Moore. A knowledge-based configurator that supports sales, engineering and manufacturing at att bell network systems. In Proceedings of the Innovative Applications of Artificial Intelligence Conferences, pages 183\u2013193, Menlo Park, California, 1993."}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44960-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T13:27:23Z","timestamp":1556371643000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44960-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677956","9783540449607"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-44960-4_12","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}