@article(skiqosJaamas, author = {Andrea Agiollo and Andrea Rafanelli and Matteo Magnini and Giovanni Ciatto and Andrea Omicini}, year = {2023}, title = {Symbolic knowledge injection meets intelligent agents: QoS metrics and experiments}, journal = {Autonomous Agents and Multi-Agent Systems}, volume = {37}, number = {2}, pages = {27}, doi = {10.1007/s10458-023-09609-6}, ) @incollection(skiqs-woa2022, author = {Andrea Agiollo and Andrea Rafanelli and Andrea Omicini}, year = {2022}, title = {Towards Quality-of-Service Metrics for Symbolic Knowledge Injection}, editor = {Angelo Ferrando and Viviana Mascardi}, booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''}, series = {CEUR Workshop Proceedings}, volume = {3261}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, pages = {30--47}, url = {http://ceur-ws.org/Vol-3261/paper3.pdf}, ) @inproceedings(Bader2008, author = {Sebastian Bader and Steffen H{\"{o}}lldobler and Nuno C. Marques}, year = {2008}, title = {Guiding Backprop by Inserting Rules}, editor = {Artur S. d'Avila Garcez and Pascal Hitzler}, booktitle = {Proceedings of the Fourth International Workshop on Neural-Symbolic Learning and Reasoning, NeSy 2008, Patras, Greece, July 21, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {366}, publisher = {CEUR-WS.org}, url = {https://ceur-ws.org/Vol-366/paper-5.pdf}, ) @article(badreddine22, author = {Samy Badreddine and Artur S. d'Avila Garcez and Luciano Serafini and Michael Spranger}, year = {2022}, title = {Logic Tensor Networks}, journal = {Artif. Intell.}, volume = {303}, pages = {103649}, doi = {10.1016/j.artint.2021.103649}, ) @inproceedings(BordesUGWY13, author = {Antoine Bordes and Nicolas Usunier and Garc{\'{\i}}a{-}Dur{\'{a}}n, Alberto and Jason Weston and Oksana Yakhnenko}, year = {2013}, title = {Translating Embeddings for Modeling Multi-relational Data}, editor = {Christopher J. C. Burges and L{\'{e}}on Bottou and Zoubin Ghahramani and Kilian Q. Weinberger}, booktitle = {Proceedings of the 26th International Conference on Neural Information Processing Systems - Volume 2}, series = {NIPS'13}, pages = {2787--2795}, url = {https://proceedings.neurips.cc/paper/2013/hash/1cecc7a77928ca8133fa24680a88d2f9-Abstract.html}, ) @incollection(CalegariCO20, author = {Roberta Calegari and Giovanni Ciatto and Andrea Omicini}, year = {2020}, title = {On the integration of symbolic and sub-symbolic techniques for {XAI:} {A} survey}, volume = {14}, pages = {7--32}, doi = {10.3233/IA-190036}, ) @inproceedings(ChoiBSSS17, author = {Edward Choi and Mohammad Taha Bahadori and Le Song and Walter F. Stewart and Jimeng Sun}, year = {2017}, title = {{GRAM:} Graph-based Attention Model for Healthcare Representation Learning}, booktitle = {Proceedings of the 23rd {ACM} {SIGKDD} International Conference on Knowledge Discovery and Data Mining, Halifax, NS, Canada, August 13 - 17, 2017}, publisher = {{ACM}}, pages = {787--795}, doi = {10.1145/3097983.3098126}, ) @inproceedings(CostantiniT02, author = {Stefania Costantini and Arianna Tocchio}, year = {2002}, title = {A Logic Programming Language for Multi-agent Systems}, editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni}, booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002, Cosenza, Italy, September, 23-26, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2424}, publisher = {Springer}, pages = {1--13}, doi = {10.1007/3-540-45757-7\_1}, ) @inproceedings(CostantiniT04, author = {Stefania Costantini and Arianna Tocchio}, year = {2004}, title = {The {DALI} Logic Programming Agent-Oriented Language}, editor = {Jos{\'{e}} J{\'{u}}lio Alferes and Jo{\~{a}}o Alexandre Leite}, booktitle = {Logics in Artificial Intelligence, 9th European Conference, {JELIA} 2004, Lisbon, Portugal, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3229}, publisher = {Springer}, pages = {685--688}, doi = {10.1007/978-3-540-30227-8\_57}, ) @inproceedings(DaiM21, author = {Wang{-}Zhou Dai and Stephen H. Muggleton}, year = {2021}, title = {Abductive Knowledge Induction from Raw Data}, editor = {Zhi{-}Hua Zhou}, booktitle = {Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, {IJCAI} 2021, Virtual Event / Montreal, Canada, 19-27 August 2021}, publisher = {ijcai.org}, pages = {1845--1851}, doi = {10.24963/ijcai.2021/254}, ) @inproceedings(DaiX0Z19, author = {Wang{-}Zhou Dai and Qiu{-}Ling Xu and Yang Yu and Zhi{-}Hua Zhou}, year = {2019}, title = {Bridging Machine Learning and Logical Reasoning by Abductive Learning}, editor = {Hanna M. Wallach et. al.}, booktitle = {Advances in Neural Information Processing Systems 32: Annual Conference on Neural Information Processing Systems 2019, NeurIPS 2019, December 8-14, 2019, Vancouver, BC, Canada}, pages = {2811--2822}, url = {https://proceedings.neurips.cc/paper/2019/hash/9c19a2aa1d84e04b0bd4bc888792bd1e-Abstract.html}, ) @article(dash2022review, author = {Tirtharaj Dash and Sharad Chitlangia and Aditya Ahuja and Ashwin Srinivasan}, year = {2022}, title = {A review of some techniques for inclusion of domain-knowledge into deep neural networks}, journal = {Scientific Reports}, volume = {12}, number = {1}, pages = {1040}, doi = {10.1038/s41598-021-04590-0}, ) @inproceedings(DiligentiRG17, author = {Michelangelo Diligenti and Soumali Roychowdhury and Marco Gori}, year = {2017}, title = {Integrating Prior Knowledge into Deep Learning}, editor = {Xuewen Chen and Bo Luo and Feng Luo and Vasile Palade and M. Arif Wani}, booktitle = {16th {IEEE} International Conference on Machine Learning and Applications, {ICMLA} 2017, Cancun, Mexico, December 18-21, 2017}, publisher = {{IEEE}}, pages = {920--923}, doi = {10.1109/ICMLA.2017.00-37}, ) @inproceedings(GSM, author = {Michael Gelfond and Vladimir Lifschitz}, year = {1988}, title = {The Stable Model Semantics for Logic Programming}, editor = {Robert A. Kowalski and Kenneth A. Bowen}, booktitle = {Logic Programming, Proceedings of the Fifth International Conference and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)}, publisher = {{MIT} Press}, pages = {1070--1080}, ) @article(Zhang2023, author = {Hao and Basura Fernando}, year = {2023}, title = {Fine-Grained Regional Prompt Tuning for Visual Abductive Reasoning}, journal = {CoRR}, volume = {abs/2303.10428}, doi = {10.48550/arXiv.2303.10428}, eprint = {2303.10428}, ) @article(kakas1992, author = {Antonis C. Kakas and Robert A. Kowalski and Francesca Toni}, year = {1992}, title = {Abductive Logic Programming}, journal = {J. Log. Comput.}, volume = {2}, number = {6}, pages = {719--770}, doi = {10.1093/logcom/2.6.719}, ) @inproceedings(abductionSemantics, author = {Antonis C. Kakas and Paolo Mancarella}, year = {1990}, title = {Generalized Stable Models: {A} Semantics for Abduction}, booktitle = {9th European Conference on Artificial Intelligence, {ECAI} 1990, Stockholm, Sweden, 1990}, pages = {385--391}, ) @article(peirce, author = {Tomis Kapitan}, year = {1992}, title = {Peirce and the Autonomy of Abductive Reasoning}, journal = {Erkenntnis (1975-)}, volume = {37}, number = {1}, pages = {1--26}, doi = {10.1007/BF00220630}, ) @article(ManhaeveDKDR21, author = {Robin Manhaeve and Sebastijan Dumancic and Angelika Kimmig and Thomas Demeester and Luc De Raedt}, year = {2021}, title = {Neural probabilistic logic programming in DeepProbLog}, journal = {Artif. Intell.}, volume = {298}, pages = {103504}, doi = {10.1016/j.artint.2021.103504}, ) @article(mooney2000, author = {Raymond J Mooney}, year = {2000}, title = {Integrating abduction and induction in machine learning}, journal = {Abduction and Induction: essays on their relation and integration}, pages = {181--191}, doi = {10.1007/978-94-017-0606-3}, ) @inproceedings(RaedtDMM20, author = {Luc De Raedt and Sebastijan Dumancic and Robin Manhaeve and Giuseppe Marra}, year = {2020}, title = {From Statistical Relational to Neuro-Symbolic Artificial Intelligence}, editor = {Christian Bessiere}, booktitle = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020}, publisher = {ijcai.org}, pages = {4943--4950}, doi = {10.24963/ijcai.2020/688}, ) @inproceedings(mas-woa2022, author = {Andrea Rafanelli and Stefania Costantini and De Gasperis, Giovanni}, year = {2022}, title = {A Multi-Agent-System framework for flooding events}, editor = {Angelo Ferrando and Viviana Mascardi}, booktitle = {WOA 2022 -- 23rd Workshop ``From Objects to Agents''}, series = {CEUR Workshop Proceedings}, volume = {3261}, publisher = {Sun SITE Central Europe, RWTH Aachen University}, pages = {30--47}, url = {http://ceur-ws.org/Vol-3261/paper11.pdf}, ) @article(Rafanelli-mas-2023, author = {Andrea Rafanelli and Stefania Costantini and De Gasperis, Giovanni}, year = {2023}, title = {Neural-logic multi-agent system for flood event detection}, journal = {Intelligenza Artificiale}, volume = {17}, pages = {19--35}, doi = {10.3233/IA-230004}, ) @inproceedings(aixia2022, author = {Andrea Rafanelli and Stefania Costantini and Andrea Omicini}, year = {2022}, title = {Position paper: On the role of abductive reasoning in semantic image segmentation}, editor = {Agostino Dovier and Angelo Montanari and Andrea Orlandini}, booktitle = {22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), Udine, Italy, November 28-December 2, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3419}, publisher = {CEUR-WS.org}, url = {https://ceur-ws.org/Vol-3419/paper9.pdf}, ) @incollection(skiqosKR, author = {Andrea Rafanelli and Matteo Magnini and Andrea Agiollo and Giovanni Ciatto and Andrea Omicini}, year = {under revision}, title = {Are Symbolic Knowledge Injection Techniques Robust Against Data Quality Degradation?}, ) @inproceedings(TsamouraHM21, author = {Efthymia Tsamoura and Timothy M. Hospedales and Loizos Michael}, year = {2021}, title = {Neural-Symbolic Integration: {A} Compositional Perspective}, booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI} 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9, 2021}, publisher = {{AAAI} Press}, pages = {5051--5060}, doi = {10.1609/aaai.v35i6.16639}, ) @inproceedings(WangWG15, author = {Quan Wang and Bin Wang and Li Guo}, year = {2015}, title = {Knowledge Base Completion Using Embeddings and Rules}, editor = {Qiang Yang and Michael J. Wooldridge}, booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July 25-31, 2015}, publisher = {{AAAI} Press}, pages = {1859--1866}, url = {http://ijcai.org/Abstract/15/264}, ) @inproceedings(XuZFLB18, author = {Jingyi Xu and Zilu Zhang and Tal Friedman and Yitao Liang and Guy Van den Broeck}, year = {2018}, title = {A Semantic Loss Function for Deep Learning with Symbolic Knowledge}, editor = {Jennifer G. Dy and Andreas Krause}, booktitle = {Proceedings of the 35th International Conference on Machine Learning, {ICML} 2018, Stockholmsm{\"{a}}ssan, Stockholm, Sweden, July 10-15, 2018}, series = {Proceedings of Machine Learning Research}, volume = {80}, publisher = {{PMLR}}, pages = {5498--5507}, url = {http://proceedings.mlr.press/v80/xu18h.html}, ) @article(YuL21, author = {Jianbo Yu and Guoliang Liu}, year = {2021}, title = {Extracting and inserting knowledge into stacked denoising auto-encoders}, journal = {Neural Networks}, volume = {137}, pages = {31--42}, doi = {10.1016/j.neunet.2021.01.010}, ) @article(zhang2021, author = {Chiyuan Zhang and Samy Bengio and Moritz Hardt and Benjamin Recht and Oriol Vinyals}, year = {2021}, title = {Understanding deep learning (still) requires rethinking generalization}, journal = {Commun. {ACM}}, volume = {64}, number = {3}, pages = {107--115}, doi = {10.1145/3446776}, )