Showing cs.AIShow all
2 papers · 1 filter
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.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…