Entraînement avec solveur pour l'intégration de contraintes logiques dans l'extraction de relations d'événements. - Baptiste Brunet de la Charie; Abdallah Arioua; Elöd Egyed-Zsigmond; Thomas Veran (CORIA, 2025)