{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,11]],"date-time":"2025-07-11T10:33:05Z","timestamp":1752229985373},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540647386"},{"type":"electronic","value":"9783540690597"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0027308","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T03:01:00Z","timestamp":1132369260000},"page":"23-37","source":"Crossref","is-referenced-by-count":20,"title":["Learning first-order acyclic Horn programs from entailment"],"prefix":"10.1007","author":[{"given":"Chandra","family":"Reddy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prasad","family":"Tadepalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,18]]},"reference":[{"key":"5_CR1","first-page":"319","volume":"2","author":"D. Angluin","year":"1988","unstructured":"Angluin, D. (1988). Queries and concept learning. Machine Learning, 2, 319\u2013342.","journal-title":"Machine Learning"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"Arimura, H. (1997). Learning acyclic first-order horn sentences from entailment. In Proceedings of the Eigth International Workshop on Algorithmic Learning Theory. Ohmsha\/Springer-Verlag.","DOI":"10.1007\/3-540-63577-7_59"},{"issue":"1","key":"5_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(94)00034-4","volume":"79","author":"W. Cohen","year":"1995","unstructured":"Cohen, W. (1995a). Pac-learning non-recursive prolog clauses. Artificial Intelligence, 79(1), 1\u201338.","journal-title":"Artificial Intelligence"},{"key":"5_CR4","first-page":"500","volume":"2","author":"W. Cohen","year":"1995","unstructured":"Cohen, W. (1995b). Pac-learning recursive logic programs: efficient algorithms. Jl. of AI Research, 2, 500\u2013539.","journal-title":"itJl. of AI Research"},{"issue":"1","key":"5_CR5","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0004-3702(97)00041-6","volume":"95","author":"L. Raedt De","year":"1997","unstructured":"De Raedt, L. (1997). Logical settings for concept learning. Artificial Intelligence, 95(1), 187\u2013201.","journal-title":"Artificial Intelligence"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"D\u017eeroski, S., Muggleton, S., & Russell, S. (1992). Pac-learnability of determinate logic programs. In Proceedings of the Fifth Annual ACM Workshop on Computational Learning Theory, pp. 128\u2013135.","DOI":"10.1145\/130385.130399"},{"key":"5_CR7","unstructured":"Erol, K., Hendler, J., & Nan, D. (1994). HTN planning: complexity and expressivity. In Proceedings of the Twelfth National Conference on Artificial Intelligence (AAAI 94). AAAI Press."},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Frazier, M., & Pitt, L. (1993). Learning from entailment: An application to propositional Horn sentences. In Proceedings of the Tenth International Conference on Machine Learning, pp. 120\u2013127.","DOI":"10.1016\/B978-1-55860-307-3.50022-8"},{"key":"5_CR9","unstructured":"Khardon, R. (1996). Learning to take actions. In Proceedings of the Thirteenth National Conference on Artificial Intelligence (AAAI-96), pp. 787\u2013792."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Khardon, R. (1998). Learning first order universal horn expressions. In Proceedings of the Eleventh Annual Conference on Computational Learning Theory (COLT-98).","DOI":"10.1145\/279943.279976"},{"key":"5_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. Lloyd","year":"1987","unstructured":"Lloyd, J. (1987). Foundations of Logic Programming (2nd ed.). Springer-Verlag, Berlin.","edition":"2nd ed."},{"key":"5_CR12","unstructured":"Muggleton, S., & Feng, C. (1990). Efficient induction of logic programs. In Proceedings of the First Conference on Algorithmic Learning Theory, pp. 368\u2013381. Ohmsha\/Springer-Verlag."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Natarajan, B. (1989). On learning from exercises. In Proceedings of the Second Workshop on Computational Learning Theory, pp. 72\u201387. Morgan Kaufmann.","DOI":"10.1016\/B978-0-08-094829-4.50008-8"},{"key":"5_CR14","unstructured":"Page, C. D. (1993). Anti-Unification in Constraint Logics: Foundations and Applications to Learnability in First-Order Logic, to Speed-up Learning, and to Deduction. Ph.D. thesis, University of Illinois, Urbana, IL."},{"key":"5_CR15","first-page":"153","volume-title":"Machine Intelligence","author":"G. Plotkin","year":"1970","unstructured":"Plotkin, G. (1970). A note on inductive generalization. In Meltzer, B., & Michie, D. (Eds.), Machine Intelligence, Vol. 5, pp. 153\u2013163. Elsevier North-Holland, New York."},{"key":"5_CR16","unstructured":"Reddy, C., & Tadepalli, P. (1997a). Learning goal-decomposition rules using exercises. In Proceedings of the 14th International Conference on Machine Learning. Morgan Kaufmann."},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Reddy, C., & Tadepalli, P. (1997b). Learning Horn definitions using equivalence and membership queries. In Proceedings of the 7th International Workshop on Inductive Logic Programming. Springer Verlag.","DOI":"10.1007\/3540635149_53"},{"key":"5_CR18","unstructured":"Sammut, C. A., & Banerji, R. (1986). Learning concepts by asking questions. In Machine learning: An artificial intelligence approach, Vol. 2. Morgan Kaufmann."}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0027308","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,4]],"date-time":"2019-02-04T17:49:34Z","timestamp":1549302574000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0027308"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540647386","9783540690597"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0027308","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}