Neufeld, E. (2024). Learning Normative Behaviour Through Automated Theorem Proving. Kuenstliche Intelligenz, 38(1–2), 25–43. https://doi.org/10.1007/s13218-024-00844-x ( reposiTUm)

Neufeld, E., Ciabattoni, A., & Tulcan, R. F. (2024). Norm Compliance in Reinforcement Learning Agents via Restraining Bolts. In J. Savelka, J. Harasta, T. Novotna, & J. Misek (Eds.), Legal Knowledge and Information Systems (pp. 119–130). https://doi.org/10.3233/FAIA241239 ( reposiTUm)

Ciabattoni, A., Olivetti, N., Parent, X., Ramanayake, D. R. S., & Rozplokhas, D. (2023). Analytic Proof Theory for Aqvist’s System F. In J. Maranhão, C. Peterson, C. Straßer, & L. van der Torre (Eds.), Deontic Logic and Normative Systems - 16th International Conference, DEON 2023 (pp. 79–98). College Publications. http://hdl.handle.net/20.500.12708/190605 ( reposiTUm)

Pichler, D. (2023, February 11). Extensionality for Dyadic Obligations [Poster Presentation]. SPLogIC 2023, Sao Paulo, Brazil. ( reposiTUm)

Pichler, D. (2023, June 2). First-order modal logic, Extensionality in an alethic-deontic setting [Presentation]. Seminar Universidad Nacional Autónoma de México (UNAM) 2023, Mexico. ( reposiTUm)