Emery Neufeld
Projektass. Dr.techn. / MSc
Role
-
PostDoc Researcher
Theory and Logic, E192-05
Projects
Publications
-
Learning Normative Behaviour Through Automated Theorem Proving
/
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
Project: Mosaic (2021–2025) -
Norm Compliance in Reinforcement Learning Agents via Restraining Bolts
/
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
Download: Artikel (304 KB)
Project: Mosaic (2021–2025) -
Norm compliance for reinforcement learning agents
/
Neufeld, E. A. (2023). Norm compliance for reinforcement learning agents [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.112881
Download: PDF (2.42 MB) - Reinforcement Learning Guided by Provable Normative Compliance / Neufeld, E. (2022). Reinforcement Learning Guided by Provable Normative Compliance. In Proceedings of the 14th International Conference on Agents and Artificial Intelligence. INSTICC Press. https://doi.org/10.5220/0010835600003116
- A Normative Supervisor for Reinforcement Learning Agents / Neufeld, E., Bartocci, E., Ciabattoni, A., & Governatori, G. (2021). A Normative Supervisor for Reinforcement Learning Agents. In Automated Deduction – CADE 28 (pp. 565–576). https://doi.org/10.1007/978-3-030-79876-5_32