{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T08:55:59Z","timestamp":1740128159052,"version":"3.37.3"},"reference-count":41,"publisher":"Informa UK Limited","issue":"7","license":[{"start":{"date-parts":[[2022,4,19]],"date-time":"2022-04-19T00:00:00Z","timestamp":1650326400000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by-nc-nd\/4.0\/"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["825619"],"award-info":[{"award-number":["825619"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"published-print":{"date-parts":[[2023,10,3]]},"DOI":"10.1080\/0952813x.2022.2062456","type":"journal-article","created":{"date-parts":[[2022,4,20]],"date-time":"2022-04-20T03:32:57Z","timestamp":1650425577000},"page":"1079-1099","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":2,"title":["A Prolog application for reasoning on maths puzzles with diagrams"],"prefix":"10.1080","volume":"35","author":[{"given":"Riccardo","family":"Buscaroli","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1664-9632","authenticated-orcid":false,"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giulia","family":"Giuliani","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6507-7565","authenticated-orcid":false,"given":"Daniela","family":"Loreti","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5929-8193","authenticated-orcid":false,"given":"Paola","family":"Mello","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Bologna, Bologna, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2022,4,19]]},"reference":[{"key":"cit0001","doi-asserted-by":"publisher","DOI":"10.3390\/math8020190"},{"key":"cit0002","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.1511.02799"},{"key":"cit0003","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV.2015.279"},{"volume-title":"Knowledge representation, reasoning and declarative problem solving","year":"2009","author":"Baral C","key":"cit0004"},{"issue":"1","key":"cit0005","first-page":"39","volume":"22","author":"Berger A. L.","year":"1996","journal-title":"Computational Linguistics"},{"key":"cit0006","first-page":"31","volume-title":"Proc. of the int. workshop on spatio-temporal dynamics","author":"Bhatt M.","year":"2010"},{"key":"cit0007","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00129-1"},{"key":"cit0008","doi-asserted-by":"publisher","DOI":"10.1609\/aimag.v38i3.2736"},{"key":"cit0009","doi-asserted-by":"publisher","DOI":"10.17265\/2159-5313\/2016.09.003"},{"key":"cit0010","doi-asserted-by":"publisher","DOI":"10.17265\/2159-5313\/2016.09.003"},{"key":"cit0011","doi-asserted-by":"publisher","DOI":"10.1016\/j.camwa.2006.03.020"},{"key":"cit0012","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78652-8"},{"key":"cit0013","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-031-01574-8","volume-title":"Statistical relational artificial intelligence: Logic, probability, and computation","author":"De Raedt L.","year":"2016"},{"key":"cit0014","doi-asserted-by":"publisher","DOI":"10.1007\/s10994-015-5494-z"},{"key":"cit0015","unstructured":"Devlin, J., Chang, M., Lee, K. & Toutanova, K. (2019). BERT: Pre-training of deep bidirectional transformers for language understanding Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies, Volume 1 (Long and Short Papers) Minneapolis, Minnesota (pp. 4171\u20134186) Association for Computational Linguistics"},{"key":"cit0016","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/556"},{"key":"cit0017","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2009.71"},{"key":"cit0018","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D16-1044"},{"key":"cit0019","doi-asserted-by":"publisher","DOI":"10.1422\/96329"},{"key":"cit0020","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"cit0021","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"key":"cit0022","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/D14-1058"},{"key":"cit0023","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"cit0024","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.571"},{"volume-title":"Introduction to statistical relational learning","year":"2007","author":"Koller D.","key":"cit0025"},{"key":"cit0026","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D17-1160"},{"key":"cit0027","doi-asserted-by":"publisher","DOI":"10.3115\/1628275.1628277"},{"key":"cit0028","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/N16-3014"},{"key":"cit0029","doi-asserted-by":"publisher","DOI":"10.1016\/j.eswa.2019.02.025"},{"key":"cit0030","first-page":"289","volume-title":"Advances in Neural Information Processing Systems","volume":"29","author":"Lu J.","year":"2016"},{"key":"cit0031","doi-asserted-by":"publisher","DOI":"10.3115\/v1\/P14-5010"},{"key":"cit0032","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1118"},{"key":"cit0033","doi-asserted-by":"publisher","DOI":"10.1109\/ITI.2003.1225419"},{"key":"cit0034","doi-asserted-by":"publisher","DOI":"10.1007\/BF00244274"},{"key":"cit0035","doi-asserted-by":"publisher","DOI":"10.1145\/382278.382395"},{"volume-title":"Artificial intelligence - A modern approach, third international edition","year":"2010","author":"Russell S. J.","key":"cit0036"},{"key":"cit0037","volume-title":"Contemporary intellectual assessment: Theories, tests, and issues","author":"Schneider W.","year":"2012","edition":"3"},{"key":"cit0038","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/D15-1171"},{"key":"cit0039","doi-asserted-by":"publisher","DOI":"10.1038\/nature16961"},{"volume-title":"What is the name of this book?","year":"1978","author":"Smullyan R","key":"cit0040"},{"key":"cit0041","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2019.00688"}],"container-title":["Journal of Experimental & Theoretical Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/0952813X.2022.2062456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,12]],"date-time":"2023-09-12T08:35:00Z","timestamp":1694507700000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/0952813X.2022.2062456"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,4,19]]},"references-count":41,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2023,10,3]]}},"alternative-id":["10.1080\/0952813X.2022.2062456"],"URL":"https:\/\/doi.org\/10.1080\/0952813x.2022.2062456","relation":{},"ISSN":["0952-813X","1362-3079"],"issn-type":[{"type":"print","value":"0952-813X"},{"type":"electronic","value":"1362-3079"}],"subject":[],"published":{"date-parts":[[2022,4,19]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=teta20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=teta20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2020-10-08","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-03-30","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-04-19","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}