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…
math.DS2025
New functionalities in MatCont: delay equations and Lyapunov exponents
Davide Liessi, Enrico Santi, Rossana Vermiglio +3
MatCont is a powerful toolbox for numerical bifurcation analysis focussing on smooth ODEs. A user can study equilibria, periodic and connecting orbits, and their stability and bifu…
cs.AI2025
GPU Accelerated Compact-Table Propagation
Enrico Santi, Fabio Tardivo, Agostino Dovier +1
Constraint Programming developed within Logic Programming in the Eighties; nowadays all Prolog systems encompass modules capable of handling constraint programming on finite domain…