Back
  1. Home
  2. Profile of Paul Joseph Yves MEDER (Unilu)
Profil

MEDER Paul Joseph Yves

Main Referenced Co-authors
BENZMÜLLER, Christoph  (3)
FARJAMI, Ali  (3)
PARENT, Xavier  (3)
Fuenmajor, David (1)
STEEN, Alexander  (1)
Main Referenced Keywords
Automated theorem proving (1); Deontic Logic (1); General Data Protection Regulation (1); Higher-Order Logic (1); Higher-order logic (1);
Main Referenced Disciplines
Computer science (4)

Publications (total 4)

The most downloaded
211 downloads
Farjami, A., Meder, P. J. Y., Parent, X., & Benzmüller, C. (17 September 2018). I/O Logic in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg. https://hdl.handle.net/10993/37013

The most cited

7 citations (WOS)

Farjami, A., Meder, P. J. Y., Parent, X., & Benzmüller, C. (17 September 2018). I/O Logic in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg. https://hdl.handle.net/10993/37013

Benzmüller, C., Farjami, A., Fuenmajor, D., Meder, P. J. Y., Parent, X., Steen, A., van der Torre, L., & Zahoransky, V. (December 2020). LogiKEy Workbench: Deontic Logics, Logic Combinations and Expressive Ethical and Legal Reasoning (Isabelle/HOL Dataset). Data in Brief, 33. doi:10.1016/j.dib.2020.106409
Peer Reviewed verified by ORBi

Benzmüller, C., Farjami, A., Meder, P. J. Y., & Parent, X. (2019). I/O Logic in HOL. IfCoLog Journal of Logics and Their Applications, 6 (5), 715--732.
Peer reviewed

Farjami, A., Meder, P. J. Y., Parent, X., & Benzmüller, C. (17 September 2018). I/O Logic in HOL [Paper presentation]. MIREL 2018 workshop on MIning and REasoning with Legal texts, Luxembourg.

Meder, P. J. Y. (2018). Deontic Agency and Moral Luck [Bachelor/master dissertation, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/39770

Contact ORBilu