<div class="csl-bib-body">
<div class="csl-entry">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.), <i>PRIMA 2025: Principles and Practice of Multi-Agent Systems : 26th International Conference, Modena, Italy, December 16–19, 2025, Proceedings</i> (pp. 251–259). Springer. https://doi.org/10.1007/978-3-032-13562-9_18</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/225290
-
dc.description.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
dc.language.iso
en
-
dc.relation.ispartofseries
Lecture Notes in Computer Science
-
dc.subject
Classifier Models
en
dc.subject
Legal Case-based Reasoning
en
dc.subject
Modal Logic
en
dc.title
A Modal Logic for Temporal and Jurisdictional Classifier Models
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
University of Bologna, Italy
-
dc.contributor.affiliation
University of Bologna, Italy
-
dc.contributor.editoraffiliation
Université Paris-Est Créteil, France
-
dc.contributor.editoraffiliation
University of Modena and Reggio Emilia, Italy
-
dc.contributor.editoraffiliation
Télécom Paris, France
-
dc.relation.isbn
978-3-032-13562-9
-
dc.relation.doi
10.1007/978-3-032-13562-9
-
dc.relation.issn
0302-9743
-
dc.description.startpage
251
-
dc.description.endpage
259
-
dc.type.category
Full-Paper Contribution
-
dc.relation.eissn
1611-3349
-
tuw.booktitle
PRIMA 2025: Principles and Practice of Multi-Agent Systems : 26th International Conference, Modena, Italy, December 16–19, 2025, Proceedings
-
tuw.container.volume
16366
-
tuw.peerreviewed
true
-
tuw.relation.publisher
Springer
-
tuw.relation.publisherplace
Cham
-
tuw.researchTopic.id
I1
-
tuw.researchTopic.name
Logic and Computation
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.1007/978-3-032-13562-9_18
-
dc.description.numberOfPages
9
-
tuw.author.orcid
0000-0002-8927-7414
-
tuw.author.orcid
0000-0002-4951-0111
-
tuw.author.orcid
0000-0001-5265-0660
-
tuw.editor.orcid
0000-0001-5981-4533
-
tuw.editor.orcid
0000-0002-8711-4670
-
tuw.event.name
26th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2025)
