{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T11:17:31Z","timestamp":1757589451243},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319633411"},{"type":"electronic","value":"9783319633428"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-63342-8_5","type":"book-chapter","created":{"date-parts":[[2017,7,15]],"date-time":"2017-07-15T02:36:51Z","timestamp":1500086211000},"page":"52-67","source":"Crossref","is-referenced-by-count":10,"title":["How Does Predicate Invention Affect Human Comprehensibility?"],"prefix":"10.1007","author":[{"given":"Ute","family":"Schmid","sequence":"first","affiliation":[]},{"given":"Christina","family":"Zeller","sequence":"additional","affiliation":[]},{"given":"Tarek","family":"Besold","sequence":"additional","affiliation":[]},{"given":"Alireza","family":"Tamaddoni-Nezhad","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Muggleton","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,7,16]]},"reference":[{"key":"5_CR1","unstructured":"Cropper, A., Muggleton, S.H.: Learning efficient logical robot strategies involving composable objects. In: Proceedings of the 24th International Joint Conference Artificial Intelligence (IJCAI 2015), pp. 3423\u20133429 (2015)"},{"key":"5_CR2","unstructured":"Cropper, A., Muggleton, S.H.: Learning higher-order logic programs through abstraction and invention. In: Proceedings of the 25th International Joint Conference Artificial Intelligence (IJCAI 2016), pp. 1418\u20131424 (2016)"},{"issue":"1","key":"5_CR3","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1609\/aimag.v37i1.2648","volume":"37","author":"KD Forbus","year":"2016","unstructured":"Forbus, K.D.: Software social organisms: implications for measuring AI progress. AI Mag. 37(1), 85\u201390 (2016)","journal-title":"AI Mag."},{"issue":"1","key":"5_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2594473.2594475","volume":"15","author":"AA Freitas","year":"2014","unstructured":"Freitas, A.A.: Comprehensible classification models: a position paper. SIGKDD Explor. Newsl. 15(1), 1\u201310 (2014)","journal-title":"SIGKDD Explor. Newsl."},{"key":"5_CR5","unstructured":"Kahney, H.: What do novice programmers know about recursion? In: Soloway, E., Spohrer, J.C. (eds.) Studying the Novice Programmer, pp. 209\u2013228. Lawrence Erlbaum (1989)"},{"issue":"3","key":"5_CR6","doi-asserted-by":"crossref","first-page":"1350","DOI":"10.1214\/15-AOAS848","volume":"9","author":"B Letham","year":"2015","unstructured":"Letham, B., Rudin, C., McCormick, T.H., Madigan, D.: Interpretable classifiers using rules and Bayesian analysis: building a better stroke prediction model. Ann. Appl. Stat. 9(3), 1350\u20131371 (2015)","journal-title":"Ann. Appl. Stat."},{"key":"5_CR7","unstructured":"Lin, D., Dechter, E., Ellis, K., Tenenbaum, J.B., Muggleton, S.H.: Bias reformulation for one-shot function induction. In: Proceedings of the 23rd European Conference on Artificial Intelligence (ECAI 2014), pp. 525\u2013530. IOS Press (2014)"},{"key":"5_CR8","unstructured":"Michie, D.: Machine learning in the next five years. In: Proceedings of the Third European Working Session on Learning, pp. 107\u2013122. Pitman (1988)"},{"issue":"10\u201315","key":"5_CR9","doi-asserted-by":"crossref","first-page":"922","DOI":"10.1016\/j.artint.2007.04.007","volume":"171","author":"M Mozina","year":"2007","unstructured":"Mozina, M., Zabkar, J., Bratko, I.: Argument based machine learning. Artif. Intell. 171(10\u201315), 922\u2013937 (2007)","journal-title":"Artif. Intell."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"Muggleton, S.H., Buntine, W.: Machine invention of first-order predicates by inverting resolution. In: Proceedings of the 5th International Conference on Machine Learning, pp. 339\u2013352. Kaufmann (1988)","DOI":"10.1016\/B978-0-934613-64-4.50040-2"},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1007\/s10994-013-5358-3","volume":"94","author":"SH Muggleton","year":"2014","unstructured":"Muggleton, S.H., Lin, D., Pahlavi, N., Tamaddoni-Nezhad, A.: Meta-interpretive learning: application to grammatical inference. Mach. Learn. 94, 25\u201349 (2014)","journal-title":"Mach. Learn."},{"issue":"1","key":"5_CR12","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"SH Muggleton","year":"2015","unstructured":"Muggleton, S.H., Lin, D., Tamaddoni-Nezhad, A.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach. Learn. 100(1), 49\u201373 (2015)","journal-title":"Mach. Learn."},{"issue":"1","key":"5_CR13","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/s10994-011-5259-2","volume":"86","author":"SH Muggleton","year":"2011","unstructured":"Muggleton, S.H., De Raedt, L., Poole, D., Bratko, I., Flach, P., Inoue, K.: ILP turns 20: biography and future challenges. Mach. Learn. 86(1), 3\u201323 (2011)","journal-title":"Mach. Learn."},{"key":"5_CR14","first-page":"239","volume":"5","author":"JR Quinlan","year":"1990","unstructured":"Quinlan, J.R.: Learning logical definitions from relations. Mach. Learn. 5, 239\u2013266 (1990)","journal-title":"Mach. Learn."},{"key":"5_CR15","unstructured":"Rouveirol, C., Puget, J.-F.: A simple and general solution for inverting resolution. In: Proceedings of the fourth European Working Session on Learning (EWSL-1989), pp. 201\u2013210. Pitman (1989)"},{"key":"5_CR16","unstructured":"Srinivasan, A.: The ALEPH manual. Machine Learning at the Computing Laboratory, Oxford University (2001)"},{"key":"5_CR17","unstructured":"Stahl, I.: Constructive induction in inductive logic programming: an overview. Technical report, Fakult\u00e4t Informatik, Universit\u00e4t Stuttgart (1992)"},{"key":"5_CR18","volume-title":"The Art of Prolog: Advanced Programming Techniques","author":"L Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.Y.: The Art of Prolog: Advanced Programming Techniques. MIT Press, Cambridge (1994)"},{"issue":"236","key":"5_CR19","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1093\/mind\/LIX.236.433","volume":"59","author":"AM Turing","year":"1950","unstructured":"Turing, A.M.: Computing machinery and intelligence. Mind 59(236), 433\u2013460 (1950)","journal-title":"Mind"}],"container-title":["Lecture Notes in Computer Science","Inductive Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-63342-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,30]],"date-time":"2019-09-30T06:24:38Z","timestamp":1569824678000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-63342-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319633411","9783319633428"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-63342-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}