{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:18:20Z","timestamp":1743023900677,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642238079"},{"type":"electronic","value":"9783642238086"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23808-6_11","type":"book-chapter","created":{"date-parts":[[2011,8,18]],"date-time":"2011-08-18T07:40:29Z","timestamp":1313653229000},"page":"159-174","source":"Crossref","is-referenced-by-count":0,"title":["Learning First-Order Definite Theories via Object-Based Queries"],"prefix":"10.1007","author":[{"given":"Joseph","family":"Selman","sequence":"first","affiliation":[]},{"given":"Alan","family":"Fern","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","first-page":"319","volume":"2","author":"D. Angluin","year":"1988","unstructured":"Angluin, D.: Queries and concept learning. Machine Learning\u00a02, 319\u2013342 (1988), http:\/\/dx.doi.org\/10.1023\/A:1022821128753 , doi:10.1023\/A:1022821128753","journal-title":"Machine Learning"},{"key":"11_CR2","first-page":"147","volume":"9","author":"D. Angluin","year":"1992","unstructured":"Angluin, D., Frazier, M., Pitt, L.: Learning conjunctions of horn clauses. Machine Learning\u00a09, 147\u2013164 (1992), http:\/\/dx.doi.org\/10.1007\/BF00992675","journal-title":"Machine Learning"},{"key":"11_CR3","first-page":"549","volume":"8","author":"M. Arias","year":"2007","unstructured":"Arias, M., Khardon, R., Maloberti, J.: Learning horn expressions with LOGAN-H. The Journal of Machine Learning Research\u00a08, 549\u2013587 (2007)","journal-title":"The Journal of Machine Learning Research"},{"key":"11_CR4","unstructured":"Baum, E.B., Lang, K.: Query learning can work poorly when a human oracle is used. In: IJCNN (1992)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"1903","DOI":"10.1016\/j.tcs.2009.01.017","volume":"410","author":"V. Feldman","year":"2009","unstructured":"Feldman, V., Shah, S.: Separating models of learning with faulty teachers. Theor. Comput. Sci.\u00a0410, 1903\u20131912 (2009), http:\/\/portal.acm.org\/citation.cfm?id=1519541.1519713","journal-title":"Theor. Comput. Sci."},{"key":"11_CR6","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/A:1007610422992","volume":"37","author":"R. Khardon","year":"1999","unstructured":"Khardon, R.: Learning function-free horn expressions. Machine Learning\u00a037, 241\u2013275 (1999), http:\/\/dx.doi.org\/10.1023\/A:1007610422992","journal-title":"Machine Learning"},{"key":"11_CR7","doi-asserted-by":"crossref","first-page":"442","DOI":"10.1145\/302979.303127","volume-title":"Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: the CHI is the Limit, CHI 1999","author":"R.G. McDaniel","year":"1999","unstructured":"McDaniel, R.G., Myers, B.A.: Getting more out of programming-by-demonstration. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems: the CHI is the Limit, CHI 1999, pp. 442\u2013449. ACM, New York (1999), http:\/\/doi.acm.org\/10.1145\/302979.303127"},{"key":"11_CR8","first-page":"153","volume":"5","author":"G.D. Plotkin","year":"1970","unstructured":"Plotkin, G.D.: A Note on Inductive Generalization. Machine Intelligence\u00a05, 153\u2013163 (1970)","journal-title":"Machine Intelligence"},{"issue":"1-2","key":"11_CR9","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1016\/0004-3702(94)90112-0","volume":"70","author":"L.D. Raedt","year":"1994","unstructured":"Raedt, L.D., Dzeroski, S.: First-order jk-clausal theories are pac-learnable. Artificial Intelligence\u00a070(1-2), 375\u2013392 (1994), http:\/\/www.sciencedirect.com\/science\/article\/B6TYF-47WT97K-F\/2\/55a8bf6608387d13b5bfa7a55e4b50d2","journal-title":"Artificial Intelligence"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BFb0027308","volume-title":"Inductive Logic Programming","author":"C. Reddy","year":"1998","unstructured":"Reddy, C., Tadepalli, P.: Learning first-order acyclic horn programs from entailment. In: Page, D. (ed.) ILP 1998. LNCS, vol.\u00a01446, pp. 23\u201337. Springer, Heidelberg (1998), http:\/\/dx.doi.org\/10.1007\/BFb0027308"},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/BF03037583","volume":"17","author":"C. Reddy","year":"1999","unstructured":"Reddy, C., Tadepalli, P.: Learning horn definitions: Theory and an application to planning. New Generation Computing\u00a017, 77\u201398 (1999), http:\/\/dx.doi.org\/10.1007\/BF03037583 , doi:10.1007\/BF03037583","journal-title":"New Generation Computing"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1145\/1968.1972","volume":"27","author":"L.G. Valiant","year":"1984","unstructured":"Valiant, L.G.: A theory of the learnable. Commun. ACM\u00a027, 1134\u20131142 (1984), http:\/\/doi.acm.org\/10.1145\/1968.1972","journal-title":"Commun. ACM"},{"key":"11_CR13","unstructured":"Walker, T., Natarajan, S., Kunapuli, G., Shavlik, J., Page, D.: Automation of ilp setup and search via user provided relevance and type information. In: Inductive Logic Programming (2010)"}],"container-title":["Lecture Notes in Computer Science","Machine Learning and Knowledge Discovery in Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23808-6_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,8]],"date-time":"2023-06-08T21:33:17Z","timestamp":1686259997000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23808-6_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642238079","9783642238086"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23808-6_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}