{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T07:05:18Z","timestamp":1742972718899,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031155642"},{"type":"electronic","value":"9783031155659"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-15565-9_6","type":"book-chapter","created":{"date-parts":[[2022,9,22]],"date-time":"2022-09-22T10:15:45Z","timestamp":1663841745000},"page":"90-108","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On the\u00a0Design of\u00a0PSyKI: A Platform for\u00a0Symbolic Knowledge Injection into\u00a0Sub-symbolic Predictors"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9990-420X","authenticated-orcid":false,"given":"Matteo","family":"Magnini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1841-8996","authenticated-orcid":false,"given":"Giovanni","family":"Ciatto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6655-3869","authenticated-orcid":false,"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,23]]},"reference":[{"key":"6_CR1","unstructured":"Abadi, M., et al.: TensorFlow: large-scale machine learning on heterogeneous systems (2015). https:\/\/www.tensorflow.org\/"},{"issue":"3","key":"6_CR2","doi-asserted-by":"publisher","first-page":"562","DOI":"10.1016\/S0022-0000(05)80071-6","volume":"49","author":"M Ajtai","year":"1994","unstructured":"Ajtai, M., Gurevich, Y.: Datalog vs first-order logic. J. Comput. Syst. Sci. 49(3), 562\u2013588 (1994). https:\/\/doi.org\/10.1016\/S0022-0000(05)80071-6","journal-title":"J. Comput. Syst. Sci."},{"key":"6_CR3","unstructured":"Bader, S., d\u2019Avila Garcez, A.S., Hitzler, P.: Computing first-order logic programs by fibring artificial neural networks. In: Russell, I., Markov, Z. (eds.) Proceedings of the Eighteenth International Florida Artificial Intelligence Research Society Conference, Clearwater Beach, Florida, USA, pp. 314\u2013319. AAAI Press (2005). http:\/\/www.aaai.org\/Library\/FLAIRS\/2005\/flairs05-052.php"},{"key":"6_CR4","doi-asserted-by":"publisher","unstructured":"Badreddine, S., d\u2019Avila Garcez, A., Serafini, L., Spranger, M.: Logic tensor networks. Artif. Intell. 303, 103649 (2022). https:\/\/doi.org\/10.1016\/j.artint.2021.103649","DOI":"10.1016\/j.artint.2021.103649"},{"key":"6_CR5","unstructured":"Ballard, D.H.: Parallel logical inference and energy minimization. In: Kehler, T. (ed.) Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, 11\u201315 August 1986. Volume 1: Science. pp. 203\u2013209. Morgan Kaufmann (1986). http:\/\/www.aaai.org\/Library\/AAAI\/1986\/aaai86-033.php"},{"key":"6_CR6","unstructured":"Besold, T.R., et al.: Neural-symbolic learning and reasoning: a survey and interpretation. CoRR abs\/1711.03902 (2017). http:\/\/arxiv.org\/abs\/1711.03902"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"7","DOI":"10.3233\/IA-190036","volume":"14","author":"R Calegari","year":"2020","unstructured":"Calegari, R., Ciatto, G., Omicini, A.: On the integration of symbolic and sub-symbolic techniques for XAI: a survey. Intell. Artif. 14(1), 7\u201332 (2020). https:\/\/doi.org\/10.3233\/IA-190036","journal-title":"Intell. Artif."},{"key":"6_CR8","unstructured":"Cattral, R., Oppacher, F.: Poker hand data set, UCI machine learning repository (2007). https:\/\/archive.ics.uci.edu\/ml\/datasets\/Poker+Hand"},{"key":"6_CR9","unstructured":"Chang, M., Ratinov, L., Roth, D.: Guiding semi-supervision with constraint-driven learning. In: Carroll, J.A., van den Bosch, A., Zaenen, A. (eds.) ACL 2007, Proceedings of the 45th Annual Meeting of the Association for Computational Linguistics, 23\u201330 June 2007, Prague, Czech Republic. The Association for Computational Linguistics (2007). https:\/\/aclanthology.org\/P07-1036\/"},{"key":"6_CR10","doi-asserted-by":"publisher","unstructured":"Demeester, T., Rockt\u00e4schel, T., Riedel, S.: Lifted rule injection for relation embeddings. In: Su, J., Carreras, X., Duh, K. (eds.) Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP), Austin, Texas, USA, 1\u20134 November 2016, pp. 1389\u20131399. The Association for Computational Linguistics (2016). https:\/\/doi.org\/10.18653\/v1\/d16-1146","DOI":"10.18653\/v1\/d16-1146"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/j.artint.2015.08.011","volume":"244","author":"M Diligenti","year":"2017","unstructured":"Diligenti, M., Gori, M., Sacc\u00e0, C.: Semantic-based regularization for learning and inference. Artif. Intell. 244, 143\u2013165 (2017). https:\/\/doi.org\/10.1016\/j.artint.2015.08.011","journal-title":"Artif. Intell."},{"key":"6_CR12","doi-asserted-by":"publisher","unstructured":"Diligenti, M., Roychowdhury, S., Gori, M.: Integrating prior knowledge into deep learning. In: Chen, X., Luo, B., Luo, F., Palade, V., Wani, M.A. (eds.) 16th IEEE International Conference on Machine Learning and Applications, ICMLA 2017, Cancun, Mexico, 18\u201321 December 2017, pp. 920\u2013923. IEEE (2017). https:\/\/doi.org\/10.1109\/ICMLA.2017.00-37","DOI":"10.1109\/ICMLA.2017.00-37"},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1613\/jair.5714","volume":"61","author":"R Evans","year":"2018","unstructured":"Evans, R., Grefenstette, E.: Learning explanatory rules from noisy data. J. Artif. Intell. Res. 61, 1\u201364 (2018). https:\/\/doi.org\/10.1613\/jair.5714","journal-title":"J. Artif. Intell. Res."},{"key":"6_CR14","unstructured":"d\u2019Avila Garcez, A.S., Gabbay, D.M.: Fibring neural networks. In: McGuinness, D.L., Ferguson, G. (eds.) Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, 25\u201329 July 2004, San Jose, California, USA, pp. 342\u2013347. AAAI Press\/The MIT Press (2004). http:\/\/www.aaai.org\/Library\/AAAI\/2004\/aaai04-055.php"},{"issue":"1","key":"6_CR15","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/A:1008328630915","volume":"11","author":"AS d\u2019Avila Garcez","year":"1999","unstructured":"d\u2019Avila Garcez, A.S., Zaverucha, G.: The connectionist inductive learning and logic programming system. Appl. Intell. 11(1), 59\u201377 (1999). https:\/\/doi.org\/10.1023\/A:1008328630915","journal-title":"Appl. Intell."},{"key":"6_CR16","doi-asserted-by":"publisher","unstructured":"Guidotti, R., Monreale, A., Ruggieri, S., Turini, F., Giannotti, F., Pedreschi, D.: A survey of methods for explaining black box models. ACM Comput. Surv. 51(5), 93:1\u201393:42 (2019). https:\/\/doi.org\/10.1145\/3236009","DOI":"10.1145\/3236009"},{"key":"6_CR17","doi-asserted-by":"publisher","unstructured":"Guo, S., Wang, Q., Wang, L., Wang, B., Guo, L.: Jointly embedding knowledge graphs and logical rules. In: Su, J., Carreras, X., Duh, K. (eds.) Proceedings of the Conference on Empirical Methods in Natural Language Processing (EMNLP), Austin, Texas, USA, 1\u20134 November 2016, pp. 192\u2013202. The Association for Computational Linguistics (2016). https:\/\/doi.org\/10.18653\/v1\/d16-1019","DOI":"10.18653\/v1\/d16-1019"},{"issue":"7825","key":"6_CR18","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1038\/s41586-020-2649-2","volume":"585","author":"CR Harris","year":"2020","unstructured":"Harris, C.R., et al.: Array programming with NumPy. Nature 585(7825), 357\u2013362 (2020). https:\/\/doi.org\/10.1038\/s41586-020-2649-2","journal-title":"Nature"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Hay, L.S.: Axiomatization of the infinite-valued predicate calculus. J. Symb. Log. 28(1), 77\u201386 (1963). http:\/\/www.jstor.org\/stable\/2271339","DOI":"10.2307\/2271339"},{"key":"6_CR20","doi-asserted-by":"publisher","unstructured":"Hu, Z., Ma, X., Liu, Z., Hovy, E.H., Xing, E.P.: Harnessing deep neural networks with logic rules. In: Proceedings of the 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016, 7\u201312 August 2016, Berlin, Germany, Volume 1: Long Papers. The Association for Computer Linguistics (2016). https:\/\/doi.org\/10.18653\/v1\/p16-1228","DOI":"10.18653\/v1\/p16-1228"},{"key":"6_CR21","doi-asserted-by":"publisher","unstructured":"Hu, Z., Yang, Z., Salakhutdinov, R., Xing, E.P.: Deep neural networks with massive learned knowledge. In: Su, J., Carreras, X., Duh, K. (eds.) Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing, EMNLP 2016, Austin, Texas, USA, 1\u20134 November 2016, pp. 1670\u20131679. The Association for Computational Linguistics (2016). https:\/\/doi.org\/10.18653\/v1\/d16-1173","DOI":"10.18653\/v1\/d16-1173"},{"issue":"10","key":"6_CR22","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1145\/3233231","volume":"61","author":"ZC Lipton","year":"2018","unstructured":"Lipton, Z.C.: The mythos of model interpretability. Commun. ACM 61(10), 36\u201343 (2018). https:\/\/doi.org\/10.1145\/3233231","journal-title":"Commun. ACM"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-030-46147-8_17","volume-title":"Machine Learning and Knowledge Discovery in Databases","author":"G Marra","year":"2020","unstructured":"Marra, G., Giannini, F., Diligenti, M., Gori, M.: LYRICS: a general interface layer to integrate logic inference and deep learning. In: Brefeld, U., Fromont, E., Hotho, A., Knobbe, A., Maathuis, M., Robardet, C. (eds.) ECML PKDD 2019, Part II. LNCS (LNAI), vol. 11907, pp. 283\u2013298. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-46147-8_17"},{"key":"6_CR24","doi-asserted-by":"publisher","unstructured":"McKinney, W.: Data structures for statistical computing in python. In: van der Walt, S., Millman, J. (eds.) Proceedings of the 9th Python in Science Conference, pp. 56\u201361 (2010). https:\/\/doi.org\/10.25080\/Majora-92bf1922-00a","DOI":"10.25080\/Majora-92bf1922-00a"},{"key":"6_CR25","unstructured":"Parr, T.: The Definitive ANTLR 4 Reference. Pragmatic Bookshelf (2013)"},{"key":"6_CR26","first-page":"2825","volume":"12","author":"F Pedregosa","year":"2011","unstructured":"Pedregosa, F., et al.: Scikit-learn: machine learning in Python. J. Mach. Learn. Res. 12, 2825\u20132830 (2011)","journal-title":"J. Mach. Learn. Res."},{"key":"6_CR27","unstructured":"Sabbatini, F., Ciatto, G., Calegari, R., Omicini, A.: On the design of PSyKE: a platform for symbolic knowledge extraction. In: Calegari, R., Ciatto, G., Denti, E., Omicini, A., Sartor, G. (eds.) Proceedings of the 22nd Workshop \u201cFrom Objects to Agents\u201d, Bologna, Italy, 1\u20133 September 2021. CEUR Workshop Proceedings, vol. 2963, pp. 29\u201348. CEUR-WS.org (2021). http:\/\/ceur-ws.org\/Vol-2963\/.\/paper14.pdf"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1613\/jair.1.11203","volume":"62","author":"G Sourek","year":"2018","unstructured":"Sourek, G., Aschenbrenner, V., Zelezn\u00fd, F., Schockaert, S., Kuzelka, O.: Lifted relational neural networks: efficient learning of latent relational structures. J. Artif. Intell. Res. 62, 69\u2013100 (2018). https:\/\/doi.org\/10.1613\/jair.1.11203","journal-title":"J. Artif. Intell. Res."},{"key":"6_CR29","unstructured":"Towell, G.G., Shavlik, J.W., Noordewier, M.O.: Refinement of approximate domain theories by knowledge-based neural networks. In: Shrobe, H.E., Dietterich, T.G., Swartout, W.R. (eds.) Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, 29 July\u20133 August 1990, 2 Volumes, pp. 861\u2013866. AAAI Press\/The MIT Press (1990). http:\/\/www.aaai.org\/Library\/AAAI\/1990\/aaai90-129.php"},{"key":"6_CR30","unstructured":"Tresp, V., Hollatz, J., Ahmad, S.: Network structuring and training using rule-based knowledge. In: Hanson, S.J., Cowan, J.D., Giles, C.L. (eds.) Advances in Neural Information Processing Systems 5, [NIPS Conference, Denver, Colorado, USA, 30 November\u20133 December 1992], pp. 871\u2013878. Morgan Kaufmann (1992). http:\/\/papers.nips.cc\/paper\/638-network-structuring-and-training-using-rule-based-knowledge"},{"key":"6_CR31","unstructured":"Xie, Y., Xu, Z., Meel, K.S., Kankanhalli, M.S., Soh, H.: Embedding symbolic knowledge into deep networks. In: Wallach, H.M., Larochelle, H., Beygelzimer, A., d\u2019Alch\u00e9-Buc, F., Fox, E.B., Garnett, R. (eds.) Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, 8\u201314 December 2019, Vancouver, BC, Canada, pp. 4235\u20134245 (2019). https:\/\/proceedings.neurips.cc\/paper\/2019\/hash\/7b66b4fd401a271a1c7224027ce111bc-Abstract.html"},{"key":"6_CR32","unstructured":"Xu, J., Zhang, Z., Friedman, T., Liang, Y., Van den Broeck, G.: A semantic loss function for deep learning with symbolic knowledge. In: Dy, J.G., Krause, A. (eds.) Proceedings of the 35th International Conference on Machine Learning (ICML), Stockholmsm\u00e4ssan, Stockholm, Sweden, 10\u201315 July 2018. Proceedings of Machine Learning Research, vol. 80, pp. 5498\u20135507. PMLR (2018). http:\/\/proceedings.mlr.press\/v80\/xu18h.html"}],"container-title":["Lecture Notes in Computer Science","Explainable and Transparent AI and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-15565-9_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,22]],"date-time":"2022-09-22T10:17:06Z","timestamp":1663841826000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-15565-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031155642","9783031155659"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-15565-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"23 September 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EXTRAAMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Explainable, Transparent Autonomous Agents and Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"4","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"extraamas2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/extraamas.ehealth.hevs.ch\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"14","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}