3 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.AI2025
Rule-based Classifier Models
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
We extend the formal framework of classifier models used in the legal domain. While the existing classifier framework characterises cases solely through the facts involved, legal r…
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…