Showing cs.AIShow all
3 papers · 1 filter
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…
cs.AI2023
Stable Normative Explanations: From Argumentation to Deontic Logic
Cecilia Di Florio, Guido Governatori, Antonino Rotolo +1
This paper examines how a notion of stable explanation developed elsewhere in Defeasible Logic can be expressed in the context of formal argumentation. With this done, we discuss t…