References of "Meder, Paul Joseph Yves 50023194"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailI/O Logic in HOL
Benzmüller, Christoph UL; Farjami, Ali UL; Meder, Paul Joseph Yves UL et al

in Journal of Applied Logics -- IfCoLoG Journal of Logics and their Applications (Special Issue on Reasoning for Legal AI) (2019), 6(5), 715--732

Detailed reference viewed: 21 (6 UL)
Full Text
See detailI/O Logic in HOL
Farjami, Ali UL; Meder, Paul Joseph Yves UL; Parent, Xavier UL et al

Scientific Conference (2018, September 17)

A shallow semantical embedding of Input/Output logic in classical higher-order logic is presented, and shown to be faithful (sound an complete). This embedding has been implemented in the higher-order ... [more ▼]

A shallow semantical embedding of Input/Output logic in classical higher-order logic is presented, and shown to be faithful (sound an complete). This embedding has been implemented in the higher-order proof assistant Isabelle/HOL. We provide an empirical regulative framework for assessing General Data Protection Regulation. [less ▲]

Detailed reference viewed: 195 (40 UL)
Full Text
See detailDeontic Agency and Moral Luck
Meder, Paul Joseph Yves UL

Bachelor/master dissertation (2018)

This work presents temporal STIT I/O logic, an I/O logic based on temporal STIT logic, and documents its investigation with the proof assistant tool Isabelle/ HOL. We show how to semantically embedding ... [more ▼]

This work presents temporal STIT I/O logic, an I/O logic based on temporal STIT logic, and documents its investigation with the proof assistant tool Isabelle/ HOL. We show how to semantically embedding temporal STIT logic as well as the out2 operator in HOL. Implementing those embeddings and also the already existing embedding of the out1 operator into Isabelle/HOL framework, enables the application of higher-order automatic theorem provers for automated reasoning tasks in temporal STIT I/O logic. Finally, we relate our logic to a more philosophical topic called moral luck, identify which aspects of moral luck can be studied by it, and use examples from this subject as test cases for the logic. [less ▲]

Detailed reference viewed: 95 (27 UL)