Research output per year
Research output per year
Search results
-
2024
Decidability of ordered fragments of FOL via modal translation
Yin, H. & Pascucci, M., 2024, In: CEUR Workshop Proceedings. 3733Research output: Contribution to journal › Conference article › peer-review
Open Access -
2020
A Bimodal Simulation of Defeasibility in the Normative Domain
Libal, T., Pascucci, M., Van Der Torre, L. & Gabbay, D., 2020, In: CEUR Workshop Proceedings. 2680, p. 41-54 14 p.Research output: Contribution to journal › Conference article › peer-review