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

MEDER Paul Joseph Yves

Main Referenced Co-authors
BENZMÜLLER, Christoph Ewald  (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
239 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