{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,3]],"date-time":"2025-07-03T04:19:52Z","timestamp":1751516392455,"version":"3.41.0"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319780894"},{"type":"electronic","value":"9783319780900"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-78090-0_4","type":"book-chapter","created":{"date-parts":[[2018,3,14]],"date-time":"2018-03-14T13:04:58Z","timestamp":1521032698000},"page":"46-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Logical Vision: One-Shot Meta-Interpretive Learning from Real Images"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6884-7158","authenticated-orcid":false,"given":"Wang-Zhou","family":"Dai","sequence":"first","affiliation":[]},{"given":"Stephen","family":"Muggleton","sequence":"additional","affiliation":[]},{"given":"Jing","family":"Wen","sequence":"additional","affiliation":[]},{"given":"Alireza","family":"Tamaddoni-Nezhad","sequence":"additional","affiliation":[]},{"given":"Zhi-Hua","family":"Zhou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,3,15]]},"reference":[{"key":"4_CR1","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/j.neucom.2012.10.037","volume":"123","author":"L Antanas","year":"2014","unstructured":"Antanas, L., van Otterlo, M., Oramas Mogrovejo, J., Tuytelaars, T., De Raedt, L.: There are plenty of places like home: using relational representations in hierarchies for distance-based image understanding. Neurocomputing 123, 75\u201385 (2014)","journal-title":"Neurocomputing"},{"issue":"10","key":"4_CR2","doi-asserted-by":"publisher","first-page":"817","DOI":"10.1016\/0167-8655(93)90064-K","volume":"14","author":"R Cecchini","year":"1993","unstructured":"Cecchini, R., Del Bimbo, A.: A programming environment for imaging applications. Pattern Recogn. Lett. 14(10), 817\u2013824 (1993)","journal-title":"Pattern Recogn. Lett."},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"27:1","DOI":"10.1145\/1961189.1961199","volume":"2","author":"CC Chang","year":"2011","unstructured":"Chang, C.C., Lin, C.J.: LIBSVM: a library for support vector machines. ACM Trans. Intell. Syst. Technol. 2, 27:1\u201327:27 (2011)","journal-title":"ACM Trans. Intell. Syst. Technol."},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/11414353_14","volume-title":"Cognitive Vision Systems","author":"AG Cohn","year":"2006","unstructured":"Cohn, A.G., Hogg, D.C., Bennett, B., Devin, V., Galata, A., Magee, D.R., Needham, C., Santos, P.: Cognitive vision: integrating symbolic qualitative representations with computer vision. In: Christensen, H.I., Nagel, H.-H. (eds.) Cognitive Vision Systems. LNCS, vol. 3948, pp. 221\u2013246. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11414353_14"},{"key":"4_CR5","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.conb.2014.01.016","volume":"25","author":"D Cox","year":"2014","unstructured":"Cox, D.: Do we understand high-level vision? Curr. Opin. Neurobiol. 25, 187\u2013193 (2014)","journal-title":"Curr. Opin. Neurobiol."},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-319-23708-4_5","volume-title":"Inductive Logic Programming","author":"A Cropper","year":"2015","unstructured":"Cropper, A., Muggleton, S.H.: Logical minimisation of meta-rules within meta-interpretive learning. In: Davis, J., Ramon, J. (eds.) ILP 2014. LNCS (LNAI), vol. 9046, pp. 62\u201375. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23708-4_5"},{"key":"4_CR7","unstructured":"Cropper, A., Muggleton, S.: Learning higher-order logic programs through abstraction and invention. In: Proceedings of the 25th International Joint Conference Artificial Intelligence, pp. 1418\u20131424 (2016)"},{"issue":"2","key":"4_CR8","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1109\/6979.880969","volume":"1","author":"R Cucchiara","year":"2000","unstructured":"Cucchiara, R., Piccardi, M., Mello, P.: Image analysis and rule-based reasoning for a traffic monitoring system. IEEE Trans. Intell. Transp. Syst. 1(2), 119\u2013130 (2000)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"key":"4_CR9","unstructured":"Dai, W.-Z., Muggleton, S.H., Zhou, Z.-H.: Logical vision: meta-interpretive learning for simple geometrical concepts. In: Late Breaking Paper Proceedings of the 25th International Conference on Inductive Logic Programming, pp. 1\u201316. CEUR (2015)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Dalal, N., Triggs, B.: Histograms of oriented gradients for human detection. In: Proceedings of the 13rd IEEE Computer Society Conference on Computer Vision and Pattern Recognition, San Diego, CA, pp. 886\u2013893. IEEE Computer Society (2005)","DOI":"10.1109\/CVPR.2005.177"},{"issue":"3","key":"4_CR11","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1006\/jvlc.1994.1014","volume":"5","author":"A Bimbo Del","year":"1994","unstructured":"Del Bimbo, A., Vicario, E., Zingoni, D.: A spatial logic for symbolic description of image contents. J. Vis. Lang. Comput. 5(3), 267\u2013286 (1994)","journal-title":"J. Vis. Lang. Comput."},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Duan, K., Parikh, D., Crandall, D.J., Grauman, K.: Discovering localized attributes for fine-grained recognition. In: Proceedings of the 25th IEEE Conference on Computer Vision and Pattern Recognition, Providence, RI, pp. 3474\u20133481. IEEE Computer Society (2012)","DOI":"10.1109\/CVPR.2012.6248089"},{"key":"4_CR13","first-page":"105","volume":"90","author":"F Esposito","year":"2008","unstructured":"Esposito, F., Ferilli, S., Basile, T.M.A., Di Mauro, N.: Machine learning for digital document processing: from layout analysis to metadata extraction. Mach. Learn. Doc. Anal. Recogn. 90, 105\u2013138 (2008)","journal-title":"Mach. Learn. Doc. Anal. Recogn."},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-013-5352-9","volume":"94","author":"R Farid","year":"2014","unstructured":"Farid, R., Sammut, C.: Plane-based object categorisation using relational learning. Mach. Learn. 94(1), 3\u201323 (2014)","journal-title":"Mach. Learn."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Ferilli, S., Basile, T.M., Esposito, F., Biba, M.: A contour-based progressive technique for shape recognition. In: Proceedings of 2011 International Conference on Document Analysis and Recognition, pp. 723\u2013727 (2011)","DOI":"10.1109\/ICDAR.2011.151"},{"key":"4_CR16","unstructured":"Galilei, G.: The Herald of the Stars (1610). English translation by Edward Stafford Carlos, Rivingtons, London, 1880; edited by Peter Barker, Byzantium Press, 2004"},{"key":"4_CR17","volume-title":"Concepts and Mechanics of Perception","author":"R Gregory","year":"1974","unstructured":"Gregory, R.: Concepts and Mechanics of Perception. Duckworth, London (1974)"},{"key":"4_CR18","doi-asserted-by":"crossref","DOI":"10.1515\/9781400866861","volume-title":"Eye and Brain: The Psychology of Seeing","author":"R Gregory","year":"1998","unstructured":"Gregory, R.: Eye and Brain: The Psychology of Seeing. Oxford University Press, Oxford (1998)"},{"key":"4_CR19","unstructured":"Heath, D., Ventura, D.: Before a computer can draw, it must first learn to see. In: Proceedings of the 7th International Conference on Computational Creativity, pp. 172\u2013179 (2016)"},{"key":"4_CR20","volume-title":"Treatise on Physiological Optics","author":"H Helmholtz von","year":"1962","unstructured":"von Helmholtz, H.: Treatise on Physiological Optics, vol. 3. Dover Publications, New York (1962). Originally published in German in 1825"},{"key":"4_CR21","volume-title":"Obtaining Shape from Shading Information","author":"B Horn","year":"1989","unstructured":"Horn, B.: Obtaining Shape from Shading Information. MIT Press, Cambridge (1989)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Hu, R., Xu, H., Rohrbach, M., Feng, J., Saenko, K., Darrell, T.: Natural language object retrieval. In: Proceedings of the 29th IEEE Conference on Computer Vision and Pattern Recognition, Las Vegas, NV, pp. 4555\u20134564. IEEE Computer Society (2016)","DOI":"10.1109\/CVPR.2016.493"},{"key":"4_CR23","unstructured":"Lake, B., Salakhutdinov, R., Gross, J., Tenenbaum, J.: One shot learning of simple visual concepts. In: Proceedings of the 33rd Annual Conference of the Cognitive Science Society, pp. 2568\u20132573 (2011)"},{"key":"4_CR24","doi-asserted-by":"publisher","first-page":"1332","DOI":"10.1126\/science.aab3050","volume":"350","author":"B Lake","year":"2015","unstructured":"Lake, B., Salakhutdinov, R., Tenenbaum, J.: Human-level concept learning through probabilistic program induction. Science 350, 1332\u20131338 (2015)","journal-title":"Science"},{"issue":"3","key":"4_CR25","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1109\/TPAMI.2013.140","volume":"36","author":"CH Lampert","year":"2014","unstructured":"Lampert, C.H., Nickisch, H., Harmeling, S.: Attribute-based classification for zero-shot visual object categorization. IEEE Trans. Pattern Anal. Mach. Intell. 36(3), 453\u2013465 (2014)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"4_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/978-3-319-10599-4_23","volume-title":"Computer Vision \u2013 ECCV 2014","author":"Z Li","year":"2014","unstructured":"Li, Z., Gavves, E., Mensink, T., Snoek, C.G.M.: Attributes make sense on segmented objects. In: Fleet, D., Pajdla, T., Schiele, B., Tuytelaars, T. (eds.) ECCV 2014, Part VI. LNCS, vol. 8694, pp. 350\u2013365. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-10599-4_23"},{"key":"4_CR27","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, Amsterdam (2014)"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Mensink, T., Verbeek, J.J., Csurka, G.: Learning structured prediction models for interactive image labeling. In: The 24th IEEE Conference on Computer Vision and Pattern Recognition, Colorado Springs, CO, pp. 833\u2013840. IEEE Computer Society (2011)","DOI":"10.1109\/CVPR.2011.5995380"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-44923-3_1","volume-title":"Inductive Logic Programming","author":"SH Muggleton","year":"2014","unstructured":"Muggleton, S.H., Lin, D., Chen, J., Tamaddoni-Nezhad, A.: MetaBayes: Bayesian meta-interpretative learning using higher-order stochastic refinement. In: Zaverucha, G., Santos Costa, V., Paes, A. (eds.) ILP 2013. LNCS (LNAI), vol. 8812, pp. 1\u201317. Springer, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-44923-3_1"},{"key":"4_CR30","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":"4_CR31","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)","journal-title":"Mach. Learn."},{"issue":"1","key":"4_CR32","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/s10994-011-5259-2","volume":"86","author":"S Muggleton","year":"2011","unstructured":"Muggleton, S., Raedt, L.D., 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."},{"issue":"7","key":"4_CR33","doi-asserted-by":"publisher","first-page":"971","DOI":"10.1109\/TPAMI.2002.1017623","volume":"24","author":"T Ojala","year":"2002","unstructured":"Ojala, T., Pietikainen, M., M\u00e4enp\u00e4\u00e4, T.: Multiresolution gray-scale and rotation invariant texture classification with local binary patterns. IEEE Trans. Pattern Anal. Mach. Intell. 24(7), 971\u2013987 (2002)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."},{"key":"4_CR34","unstructured":"Palatucci, M., Pomerleau, D., Hinton, G., Mitchell, T.M.: Zero-shot learning with semantic output codes. In: Advances in Neural Information Processing Systems, vol. 22, pp. 1410\u20131418. Curran Associates Inc. (2009)"},{"issue":"6","key":"4_CR35","doi-asserted-by":"publisher","first-page":"976","DOI":"10.1016\/j.imavis.2009.11.014","volume":"28","author":"R Poppe","year":"2010","unstructured":"Poppe, R.: A survey on vision-based human action recognition. Image Vis. Comput. 28(6), 976\u2013990 (2010)","journal-title":"Image Vis. Comput."},{"issue":"1","key":"4_CR36","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1207\/s15516709cog2901_5","volume":"29","author":"M Shanahan","year":"2005","unstructured":"Shanahan, M.: Perception as abduction: turning sensor data into meaningful representation. Cogn. Sci. 29(1), 103\u2013134 (2005)","journal-title":"Cogn. Sci."},{"key":"4_CR37","unstructured":"Vinyals, O., Blundell, C., Lillicrap, T.P., Kavukcuoglu, K., Wierstra, D.: Matching networks for one shot learning. CoRR abs\/1606.04080 (2016)"},{"issue":"1\u20132","key":"4_CR38","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1017\/S1471068411000494","volume":"12","author":"J Wielemaker","year":"2012","unstructured":"Wielemaker, J., Schrijvers, T., Triska, M., Lager, T.: SWI-prolog. Theor. Pract. Logic Program. 12(1\u20132), 67\u201396 (2012)","journal-title":"Theor. Pract. Logic Program."},{"issue":"2","key":"4_CR39","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1016\/j.cviu.2007.08.003","volume":"110","author":"H Zhang","year":"2008","unstructured":"Zhang, H., Fritts, J.E., Goldman, S.A.: Image segmentation evaluation: a survey of unsupervised methods. Comput. Vis. Image Underst. 110(2), 260\u2013280 (2008)","journal-title":"Comput. Vis. Image Underst."},{"issue":"8","key":"4_CR40","first-page":"670","volume":"21","author":"R Zhang","year":"1999","unstructured":"Zhang, R., Tai, P., Cryer, J., Shah, M.: Shape-from-shading: a survey. IEEE Trans. Pattern Anal. Mach. Intell. 21(8), 670\u2013706 (1999)","journal-title":"IEEE Trans. Pattern Anal. Mach. Intell."}],"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-78090-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,2]],"date-time":"2025-07-02T20:02:31Z","timestamp":1751486551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-78090-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319780894","9783319780900"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-78090-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"ILP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Inductive Logic Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Orl\u00e9ans","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ilp2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ilp2017.sciencesconf.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}