{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,28]],"date-time":"2026-02-28T06:47:32Z","timestamp":1772261252731,"version":"3.50.1"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2019,4,1]],"date-time":"2019-04-01T00:00:00Z","timestamp":1554076800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/R022291\/1"],"award-info":[{"award-number":["EP\/R022291\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.1007\/s00354-019-00054-2","type":"journal-article","created":{"date-parts":[[2019,4,25]],"date-time":"2019-04-25T08:04:47Z","timestamp":1556179487000},"page":"203-217","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Machine Discovery of Comprehensible Strategies for Simple Games Using Meta-interpretive Learning"],"prefix":"10.1007","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6061-6104","authenticated-orcid":false,"given":"Stephen H.","family":"Muggleton","sequence":"first","affiliation":[]},{"given":"Celine","family":"Hocquette","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,25]]},"reference":[{"key":"54_CR1","unstructured":"Q-learning tic-tac-toe. \n                    https:\/\/gist.github.com\/fheisler\/430e70fa249ba30e707f\n                    \n                   (2015)"},{"key":"54_CR2","unstructured":"Solving tic-tac-toe using deep reinforcement learning. \n                    https:\/\/github.com\/yanji84\/tic-tac-toe-rl\n                    \n                   (2016)"},{"key":"54_CR3","volume-title":"Machine Intelligence 15: Intelligent Agents","author":"M Bain","year":"1999","unstructured":"Bain, M., Sammut, C.: A framework for behavioural cloning. In: Furukawa, K., Michie, D., Muggleton, S. (eds.) Machine Intelligence 15: Intelligent Agents. Oxford University Press, Oxford (1999)"},{"key":"54_CR4","unstructured":"Brooks, R.: FoR & AI: Machine learning explained (2017). \n                    https:\/\/rodneybrooks.com\/forai-machine-learning-explained\/"},{"key":"54_CR5","unstructured":"Cropper, A., Muggleton, S.: Learning higher-order logic programs through abstraction and invention. In: IJCAI 2016, pp. 1418\u20131424 (2016). \n                    http:\/\/www.ijcai.org\/Abstract\/16\/204"},{"key":"54_CR6","unstructured":"Cropper, A., Muggleton, S.: Metagol system. \n                    https:\/\/github.com\/metagol\/metagol\n                    \n                   (2016)"},{"key":"54_CR7","doi-asserted-by":"publisher","unstructured":"Cropper, A., Muggleton, S.: Learning efficient logic programs. Mach. Learn. (2018). \n                    https:\/\/doi.org\/10.1007\/s10994-018-5712-6","DOI":"10.1007\/s10994-018-5712-6"},{"issue":"1","key":"54_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1007694015589","volume":"43","author":"S D\u017eeroski","year":"2001","unstructured":"D\u017eeroski, S., Raedt, L.D., Driessens, K.: Relational reinforcement learning. Mach. Learn. 43(1), 7\u201352 (2001). \n                    https:\/\/doi.org\/10.1023\/A:1007694015589","journal-title":"Mach. Learn."},{"key":"54_CR9","doi-asserted-by":"crossref","unstructured":"Gardner, M.: Mathematical games. The Unexpected Hanging and Other Mathematical Diversions (1962)","DOI":"10.1038\/scientificamerican0462-154"},{"key":"54_CR10","unstructured":"Garnelo, M., Arulkumaran, K., Shanahan, M.: Towards deep symbolic reinforcement learning. CoRR abs\/1609.05518 (2016). \n                    arxiv:1609.05518"},{"key":"54_CR11","doi-asserted-by":"crossref","unstructured":"Inoue, K., Furukawa, K., Kobayashi, I., Nabeshima, H.: Discovering rules by meta-level abduction. In: Proceedings of the 19th international conference on Inductive logic programming, ILP\u201909, pp. 49\u201364 (2010)","DOI":"10.1007\/978-3-642-13840-9_6"},{"key":"54_CR12","doi-asserted-by":"publisher","unstructured":"John Quinlan, J.R.: Learning Efficient Classification Procedures and Their Application to Chess End Games, pp. 463\u2013482. Springer, Berlin (1983). \n                    https:\/\/doi.org\/10.1007\/978-3-662-12405-5_15","DOI":"10.1007\/978-3-662-12405-5_15"},{"key":"54_CR13","unstructured":"Lin, D., Dechter, E., Ellis, K., Tenenbaum, J., Muggleton, S.: 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)"},{"issue":"3","key":"54_CR14","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1093\/comjnl\/6.3.232","volume":"6","author":"D Michie","year":"1963","unstructured":"Michie, D.: Experiments on the mechanization of game-learning part I. Characterization of the model and its parameters. Comput. J. 6(3), 232\u2013236 (1963)","journal-title":"Comput. J."},{"key":"54_CR15","volume-title":"Machine Intelligence 14: Applied Machine Intelligence","author":"D Michie","year":"1995","unstructured":"Michie, D., Sammut, C.: Behavioural clones and cognitive skill models. In: Furukawa, K., Michie, D., Muggleton, S. (eds.) Machine Intelligence 14: Applied Machine Intelligence. Oxford University Press, Oxford (1995)"},{"key":"54_CR16","doi-asserted-by":"publisher","first-page":"529","DOI":"10.1038\/nature14236","volume":"518","author":"V Mnih","year":"2015","unstructured":"Mnih, V., Kavukcuoglu, K., Silver, D., et al.: Human-level control through deep reinforcement learning. Nature 518, 529\u2013533 (2015)","journal-title":"Nature"},{"key":"54_CR17","unstructured":"Muggleton, S.: Inverse entailment and Progol. New Gen. Comput. 13, 245\u2013286 (1995). \n                    http:\/\/www.doc.ic.ac.uk\/~shm\/Papers\/InvEnt.pdf"},{"key":"54_CR18","doi-asserted-by":"crossref","unstructured":"Muggleton, S.: Learning from positive data. In: Muggleton, S.H. editor, Proceedings of the 6th International Workshop on Inductive Logic Programming (Workshop-96), LNAI 1314, Springer, New York, pp. 358\u2013376 (1996)","DOI":"10.1007\/3-540-63494-0_65"},{"key":"54_CR19","unstructured":"Muggleton, S., Lin, D.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. In: Proceedings of the 23rd international joint conference artificial intelligence, pp. 1551\u20131557 (2013)"},{"key":"54_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s10994-013-5358-3","volume":"94","author":"S Muggleton","year":"2014","unstructured":"Muggleton, S., 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":"54_CR21","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/s10994-014-5471-y","volume":"100","author":"S Muggleton","year":"2015","unstructured":"Muggleton, S., Lin, D., Tamaddoni-Nezhad, A.: Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited. Mach. Learn. 100(1), 49\u201373 (2015). \n                    https:\/\/doi.org\/10.1007\/s10994-014-5471-y","journal-title":"Mach. Learn."},{"issue":"7","key":"54_CR22","doi-asserted-by":"publisher","first-page":"1119","DOI":"10.1007\/s10994-018-5707-3","volume":"107","author":"S Muggleton","year":"2018","unstructured":"Muggleton, S., Schmid, U., Zeller, C., Tamaddoni-Nezhad, A., Besold, T.: Ultra-strong machine learning: comprehensibility of programs learned with ilp. Mach. Learn. 107(7), 1119\u20131140 (2018). \n                    https:\/\/doi.org\/10.1007\/s10994-018-5707-3","journal-title":"Mach. Learn."},{"key":"54_CR23","doi-asserted-by":"crossref","unstructured":"Sato, Y., Iida, H., van den Herik, H.: Transfer learning by inductive logic programming. In: 14th International Conference on Advances in Computer Games, LNCS 9525, pp. 223\u2013234. Springer, Berlin (2015)","DOI":"10.1007\/978-3-319-27992-3_20"},{"key":"54_CR24","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/B978-0-08-026898-9.50010-3","volume-title":"Advances in Computer Chess","author":"A Shapiro","year":"1982","unstructured":"Shapiro, A., Niblett, T.: Automatic induction of classification rules for a chess endgame. In: Clarke, M. (ed.) Advances in Computer Chess, vol. 3, pp. 73\u201391. Pergammon, Oxford (1982)"},{"key":"54_CR25","doi-asserted-by":"publisher","first-page":"1140","DOI":"10.1126\/science.aar6404","volume":"362","author":"D Silver","year":"2018","unstructured":"Silver, D., Hubert, T., Schrittwieser, J., Antonoglou, I., Lai, M., Guez, A., Lanctot, M., Sifre, L., Kumaran, D., Graepel, T., Lillicrap, T., Simonyan, K., Hassabis, D.: A general reinforcement learning algorithm that masters chess, shogi, and go through self-play. Science 362, 1140\u20131144 (2018)","journal-title":"Science"},{"key":"54_CR26","unstructured":"Watkins, C.: Learning from Delayed Rewards. PhD thesis (1989)"},{"issue":"3","key":"54_CR27","first-page":"279","volume":"8","author":"C Watkins","year":"1992","unstructured":"Watkins, C., Dayan, P.: Q-learning. Mach. Learn. 8(3), 279\u2013292 (1992)","journal-title":"Mach. Learn."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-019-00054-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-019-00054-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-019-00054-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,23]],"date-time":"2020-04-23T23:17:40Z","timestamp":1587683860000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-019-00054-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":27,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2019,4]]}},"alternative-id":["54"],"URL":"https:\/\/doi.org\/10.1007\/s00354-019-00054-2","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,4]]},"assertion":[{"value":"28 February 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"19 March 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 April 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}