2 papers
cs.AI2025
A Modal Logic for Temporal and Jurisdictional Classifier Models
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
Logic-based models can be used to build verification tools for machine learning classifiers employed in the legal field. ML classifiers predict the outcomes of new cases based on p…
cs.AI2024
When Precedents Clash
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
Consistency of case bases is a way to avoid the problem of retrieving conflicting constraining precedents for new cases to be decided. However, in legal practice the consistency re…