XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions. - Agostino Dovier; Talissa Dreossi; Andrea Formisano 001; Benedetta Strizzolo (ICLP, 2025)