Carmelo Fabio Longo, Corrado Santoro. A Framework to build Abductive-Deductive Chatbots, based on Natural Language Processing and First-Order Logic. In Roberta Calegari, Giovanni Ciatto, Andrea Omicini, editors, Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29 - July 1, 2022. Volume 3204 of CEUR Workshop Proceedings, pages 75-89, CEUR-WS.org, 2022. [doi]
Abstract is missing.