3 papers
cs.AI2026
Explaining Weather Bulletins via ILP
Enrico Santi, Alessandro Dal Palù, Agostino Dovier +2
Inductive Logic Programming (ILP) originated within the Logic Programming community in the Nineties as a framework for combining symbolic learning with declarative knowledge repres…
cs.AI2026
XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions
Agostino Dovier, Talissa Dreossi, Andrea Formisano +1
We propose an approach to model articles of the Italian Criminal Code (ICC), using Answer Set Programming (ASP), and to semi-automatically learn legal rules from examples based on…
cs.LO2025
Bridging Logic Programming and Deep Learning for Explainability through ILASP
Talissa Dreossi
My research explores integrating deep learning and logic programming to set the basis for a new generation of AI systems. By combining neural networks with Inductive Logic Programm…