Cecilia Di Florio

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Update Semantics

Knowledge Representation Language

Qualitative And Quantitative

Multi Agent Systems

Top Venues

Proc. ACM Program. Lang.

Publications

Francesco Gavazzo, Cecilia Di Florio
Elements of Quantitative Rewriting. Proc. ACM Program. Lang. 7 (POPL) (2023)
Cecilia Di Florio, Guido Governatori, Antonino Rotolo, Giovanni Sartor
Stable Normative Explanations: From Argumentation to Deontic Logic. CoRR (2023)
Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor
Stable Normative Explanations: From Argumentation to Deontic Logic. JELIA (2023)
Cecilia Di Florio, Xinghan Liu, Emiliano Lorini, Antonino Rotolo, Giovanni Sartor
Inferring New Classifications in Legal Case-Based Reasoning. JURIX (2023)
Francesco Gavazzo, Cecilia Di Florio
Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems. CoRR (2022)