Cecilia Di Florio

13 papers B 3C 4Journal 6
YearRankTypeTitle / Venue / Authors
2025 B conf
A Modal Logic for Temporal and Jurisdictional Classifier Models.
PRIMA
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2025 J jnl
A Modal Logic for Temporal and Jurisdictional Classifier Models.
CoRR
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2025 C conf
Rule-based Classifier Models.
ICAIL
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2025 J jnl
Rule-based Classifier Models.
CoRR
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2025 C conf
Rule-based Deontic Case-based Reasoning.
ICAIL
Antonino Rotolo, Cecilia Di Florio, Guido Governatori
2024 B conf
Judicial Explanations.
RuleML+RR
Cecilia Di Florio, Antonino Rotolo
2024 C conf
When Precedents Clash.
JURIX
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2024 J jnl
When Precedents Clash.
CoRR
Cecilia Di Florio, Huimin Dong, Antonino Rotolo
2023 J jnl
Elements of Quantitative Rewriting.
Proc. ACM Program. Lang.
Francesco Gavazzo, Cecilia Di Florio
2023 C conf
Inferring New Classifications in Legal Case-Based Reasoning.
JURIX
Cecilia Di Florio, Xinghan Liu, Emiliano Lorini, Antonino Rotolo, Giovanni Sartor
2023 B conf
Stable Normative Explanations: From Argumentation to Deontic Logic.
JELIA
Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor
2023 J jnl
Stable Normative Explanations: From Argumentation to Deontic Logic.
CoRR
Cecilia Di Florio, Guido Governatori, Antonino Rotolo, Giovanni Sartor
2022 J jnl
Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems.
CoRR
Francesco Gavazzo, Cecilia Di Florio