{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:35:07Z","timestamp":1725471307924},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540352945"},{"type":"electronic","value":"9783540352969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11776420_2","type":"book-chapter","created":{"date-parts":[[2006,9,28]],"date-time":"2006-09-28T14:49:15Z","timestamp":1159454955000},"page":"2-3","source":"Crossref","is-referenced-by-count":0,"title":["On Learning and Logic"],"prefix":"10.1007","author":[{"given":"Gy\u00f6rgy","family":"Tur\u00e1n","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: partial meet functions for contraction and revision. J. Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"J. Symbolic Logic"},{"key":"2_CR2","unstructured":"Arias, M., Khardon, R., Maloberti, J.: Learning Horn expressions with LogAn-H, Tufts University Computer Science Technical Report 2005-4"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/BF03037231","volume":"13","author":"W.W. Cohen","year":"1995","unstructured":"Cohen, W.W., Page, C.D.: Polynomial learnability and inductive logic programming: methods and results. New Generation Computing\u00a013, 369\u2013409 (1995)","journal-title":"New Generation Computing"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1023\/A:1026443024002","volume":"25","author":"M. Frazier","year":"1996","unstructured":"Frazier, M., Pitt, L.: CLASSIC learning. Machine Learning\u00a025, 151\u2013193 (1996)","journal-title":"Machine Learning"},{"key":"2_CR5","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-662-04599-2_13","volume-title":"Relational Data Mining","author":"L. Getoor","year":"2001","unstructured":"Getoor, L., Friedman, N., Koller, D., Pfeffer, A.: Learning probabilistic relational models. In: D\u017eeroski, S., Lavra\u010d, N. (eds.) Relational Data Mining, pp. 307\u2013335. Kluwer, Dordrecht (2001)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/j.artint.2004.01.002","volume":"156","author":"J. Goldsmith","year":"2004","unstructured":"Goldsmith, J., Sloan, R.H., Sz\u00f6r\u00e9nyi, B., Tur\u00e1n, G.: Theory revision with queries: Horn, read-once and parity formulas. Artificial Intelligence\u00a0156, 139\u2013176 (2004)","journal-title":"Artificial Intelligence"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/s00224-003-1112-8","volume":"37","author":"M. Grohe","year":"2004","unstructured":"Grohe, M., Tur\u00e1n, G.: Learnability and definability in trees and similar structures. Theory of Computing Systems\u00a037, 193\u2013220 (2004)","journal-title":"Theory of Computing Systems"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Heged\u0171s, T.: Generalized teaching dimensions and the query complexity of learning. In: 8th Annual Conference on Computational Learning Theory, pp. 108\u2013117 (1995)","DOI":"10.1145\/225298.225311"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"840","DOI":"10.1145\/234752.234755","volume":"43","author":"L. Hellerstein","year":"1996","unstructured":"Hellerstein, L., Pillaipakkamnatt, K., Raghavan, V., Wilkins, D.: How many queries are needed? J. of the ACM\u00a043, 840\u2013862 (1996)","journal-title":"J. of the ACM"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0004-3702(01)00062-5","volume":"128","author":"T. Horv\u00e1th","year":"2001","unstructured":"Horv\u00e1th, T., Tur\u00e1n, G.: Learning logic programs with structured background knowledge. Artificial Intelligence\u00a0128, 31\u201397 (2001)","journal-title":"Artificial Intelligence"},{"key":"2_CR11","volume-title":"Logic and Scientific Methods","author":"K.T. Kelly","year":"1997","unstructured":"Kelly, K.T., Schulte, O., Hendricks, V.: Reliable belief revision. In: Dalla Chiara, M.L., et al. (eds.) Logic and Scientific Methods. Kluwer, Dordrecht (1997)"},{"key":"2_CR12","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)","journal-title":"Machine Learning"},{"key":"2_CR13","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1145\/265910.265918","volume":"44","author":"R. Khardon","year":"1997","unstructured":"Khardon, R., Roth, D.: Learning to reason. J. of the ACM\u00a044, 697\u2013725 (1997)","journal-title":"J. of the ACM"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"1352","DOI":"10.2307\/2275647","volume":"62","author":"E. Martin","year":"1997","unstructured":"Martin, E., Osherson, D.: Scientific discovery based on belief revision. J. of Symbolic Logic\u00a062, 1352\u20131370 (1997)","journal-title":"J. of Symbolic Logic"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Muggleton, S.: Logic and learning: Turing\u2019s legacy. In: Furukawa, K., Michie, D., Muggleton, S. (eds.) Machine Intelligence, vol.\u00a013, pp. 37\u201356 (1994)","DOI":"10.1093\/oso\/9780198538509.003.0002"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Muggleton, S., Buntine, W.: Machine invention of first-order predicates by inverting resolution. In: 5. International Machine Learning Conference, pp. 339\u2013352 (1988)","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"2_CR17","unstructured":"Pagnucco, M., Rajaratnam, D.: Inverse resolution as belief change. In: 19. International Joint Conference on Artificial Intelligence, pp. 540\u2013545 (2005)"},{"key":"2_CR18","unstructured":"Plotkin, G.D.: A note on inductive generalization. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a05, pp. 153\u2013163 (1970)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","volume":"62","author":"M. Richardson","year":"2006","unstructured":"Richardson, M., Domingos, P.: Markov logic networks. Machine Learning\u00a062, 107\u2013136 (2006)","journal-title":"Machine Learning"},{"key":"2_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2317-5","volume-title":"Concept Formation and Knowledge Revision","author":"S. Wrobel","year":"1994","unstructured":"Wrobel, S.: Concept Formation and Knowledge Revision. Kluwer, Dordrecht (1994)"}],"container-title":["Lecture Notes in Computer Science","Learning Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11776420_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,6]],"date-time":"2024-02-06T18:48:21Z","timestamp":1707245301000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11776420_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540352945","9783540352969"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11776420_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}