{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:40:41Z","timestamp":1737006041049,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"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_2","type":"book-chapter","created":{"date-parts":[[2007,5,3]],"date-time":"2007-05-03T16:59:31Z","timestamp":1178211571000},"page":"21-39","source":"Crossref","is-referenced-by-count":2,"title":["A New Algorithm for Learning Range Restricted Horn Expressions"],"prefix":"10.1007","author":[{"given":"Marta","family":"Arias","sequence":"first","affiliation":[]},{"given":"Roni","family":"Khardon","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,8,11]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"M. Arias and R. Khardon. Learning Inequated Range Restricted Horn Expressions. Technical Report EDI-INF-RR-0011,Division of Informatics, University of Edinburgh, March 2000.","key":"2_CR1","DOI":"10.1007\/3-540-44960-4_2"},{"doi-asserted-by":"crossref","unstructured":"M. Arias and R. Khardon. A New Algorithm for Learning Range Restricted Horn Expressions. Technical Report EDI-INF-RR-0010, Division of Informatics, University of Edinburgh, March 2000.","key":"2_CR2","DOI":"10.1007\/3-540-44960-4_2"},{"doi-asserted-by":"crossref","unstructured":"Hiroki Arimura. Learning acyclic first-order Horn sentences from entailment. In Proceedings of the International Conference on ALT, Sendai, Japan, 1997. Springer-Verlag. LNAI 1316.","key":"2_CR3","DOI":"10.1007\/3-540-63577-7_59"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1613\/jair.97","volume":"2","author":"W. Cohen","year":"1995","unstructured":"W. Cohen. PAC-learning recursive logic programs: Efficient algorithms. Journal of Artificial Intelligence Research, 2:501\u2013539, 1995.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1613\/jair.1917","volume":"2","author":"W. Cohen","year":"1995","unstructured":"W. Cohen. PAC-learning recursive logic programs: Negative results. Journal of Artificial Intelligence Research, 2:541\u2013573, 1995.","journal-title":"Journal of Artificial Intelligence Research"},{"doi-asserted-by":"crossref","unstructured":"M. Frazier and L. Pitt. Learning from entailment: An application to propositional Horn sentences. In Proceedings of the International Conference on Machine Learning, pages 120\u2013127, Amherst, MA, 1993. Morgan Kaufmann.","key":"2_CR6","DOI":"10.1016\/B978-1-55860-307-3.50022-8"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1007610422992","volume":"37","author":"R. Khardon","year":"1999","unstructured":"R. Khardon. Learning function free Horn expressions. Machine Learning, 37:241\u2013275, 1999.","journal-title":"Machine Learning"},{"doi-asserted-by":"crossref","unstructured":"R. Khardon. Learning range restricted Horn expressions. In Proceedings of the Fourth European Conference on Computational Learning Theory, pages 111\u2013125, Nordkirchen, Germany, 1999. Springer-verlag. LNAI 1572.","key":"2_CR8","DOI":"10.1007\/3-540-49097-3_10"},{"unstructured":"Roni Khardon. Learning horn expressions with LOGAN-H. To appear in ICML, 2000.","key":"2_CR9"},{"doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer Verlag, 1987.","key":"2_CR10","DOI":"10.1007\/978-3-642-83189-8"},{"unstructured":"S. Muggleton and C. Feng. Efficient induction of logic programs. In S. Muggleton, editor, Inductive Logic Programming, pages 281\u2013298. Academic Press, 1992.","key":"2_CR11"},{"issue":"&","key":"2_CR12","doi-asserted-by":"crossref","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. The Journal of Logic Programming, 19 & 20:629\u2013680, May 1994.","journal-title":"The Journal of Logic Programming"},{"key":"2_CR13","first-page":"153","volume":"5","author":"G. D. Plotkin","year":"1970","unstructured":"G. D. Plotkin. A note on inductive generalization. Machine Intelligence, 5:153\u2013163, 1970.","journal-title":"Machine Intelligence"},{"unstructured":"L. De Raedt and M. Bruynooghe. An overview of the interactive conceptlearner and theory revisor CLINT. In S. Muggleton, editor, Inductive Logic Programming, pages 163\u2013192. Academic Press, 1992.","key":"2_CR14"},{"unstructured":"K. Rao and A. Sattar. Learning from entailment of logic programs with local variables. In Proceedings of the International Conference on Algorithmic Learning Theory, Otzenhausen, Germany, 1998. Springer-verlag.LNAI 1501.","key":"2_CR15"},{"doi-asserted-by":"crossref","unstructured":"C. Reddy and P. Tadepalli. Learning first order acyclic Horn programs from entailment. In International Conference on Inductive Logic Programming, pages 23\u201337, Madison, WI, 1998. Springer. LNAI 1446.","key":"2_CR16","DOI":"10.1007\/BFb0027308"},{"doi-asserted-by":"crossref","unstructured":"G. Semeraro, F. Esposito, D. Malerba, and N. Fanizzi. A logic framework for the incremental inductive synthesis of datalog theories. In Proceedings of the International Conference on Logic Program Synthesis and Transformation (LOPSTR\u201997). Springer-Verlag, 1998. LNAI 1463.","key":"2_CR17","DOI":"10.1007\/3-540-49674-2_16"},{"key":"2_CR18","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Y. Shapiro","year":"1983","unstructured":"E. Y. Shapiro. Algorithmic Program Debugging. MIT Press, Cambridge, MA, 1983."}],"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_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T00:49:10Z","timestamp":1736988550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44960-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540677956","9783540449607"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/3-540-44960-4_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}