Kuruvilla George Aiyankovil, Diarmuid O'Donoghue, Rosemary Monahan. Creating new Program Proofs by Combining Abductive and Deductive Reasoning. In Andrés Gómez de Silva Garza, Tony Veale, Wendy Aguilar, Rafael Pérez y Pérez, editors, Proceedings of the Twelfth International Conference on Computational Creativity, México City, México (Virtual), September 14-18, 2021. pages 395-399, Association for Computational Creativity (ACC), 2021. [doi]
Abstract is missing.