Record link: 
http://hdl.handle.net/20.500.12708/225290
-
Title: 
A Modal Logic for Temporal and Jurisdictional Classifier Models
en
Citation: 
Di Florio, C., Dong, H., & Rotolo, A. (2025). A Modal Logic for Temporal and Jurisdictional Classifier Models. In C. Dima, A. Ferrando, & V. Malvone (Eds.), PRIMA 2025: Principles and Practice of Multi-Agent Systems : 26th International Conference, Modena, Italy, December 16–19, 2025, Proceedings (pp. 251–259). Springer. https://doi.org/10.1007/978-3-032-13562-9_18
-
Publisher DOI: 
10.1007/978-3-032-13562-9_18
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
Language: 
English
-
Authors: 
Di Florio, Cecilia 
Dong, Huimin 
Rotolo, Antonino 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
PRIMA 2025: Principles and Practice of Multi-Agent Systems : 26th International Conference, Modena, Italy, December 16–19, 2025, Proceedings 
-
ISBN: 
978-3-032-13562-9
-
Volume: 
16366
-
DOI of the book: 
10.1007/978-3-032-13562-9
-
Date (published): 
14-Dec-2025
-
Event name: 
26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025) 
en
Event date: 
16-Dec-2025 - 19-Dec-2025
-
Event place: 
Modena, Italy
-
Number of Pages: 
9
-
Publisher: 
Springer, Cham
-
Peer reviewed: 
Yes
-
Keywords: 
Classifier Models; Legal Case-based Reasoning; Modal Logic
en
Abstract: 
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 previous ones, thereby performing a form of case-based reasoning (CBR). In this paper, we introduce a modal logic of classifiers designed to formally capture legal CBR. We incorporate principles for resolving conflicts between precedents, by introducing into the logic the temporal dimension of cases and the hierarchy of courts within the legal system.
en
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

8
checked on Jan 22, 2026

Google ScholarTM

Check