Reference : First Experiments with a Flexible Infrastructure for Normative Reasoning
E-prints/Working papers : Already available on another site
Engineering, computing & technology : Computer science
Computational Sciences
http://hdl.handle.net/10993/37466
First Experiments with a Flexible Infrastructure for Normative Reasoning
English
Benzmüller, Christoph mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Parent, Xavier mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
2018
CoRR
No
2331-8422
Cornell University
USA
[en] own ; Higher Order Logic ; Deontic Logic Automated Reasoning ; Universal Reasoning
[en] A flexible infrastructure for normative reasoning is outlined. A small-scale demonstrator version of the envisioned system has been implemented in the proof assistant Isabelle/HOL by utilising the first authors universal logical reasoning approach based on shallow semantical embeddings in meta-logic HOL. The need for such a flexible reasoning infrastructure is motivated and illustrated with a contrary-to-duty example scenario selected from the General Data Protection Regulation.
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/37466
http://arxiv.org/abs/1804.02929
http://arxiv.org/abs/1804.02929
http://arxiv.org/abs/1804.02929

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.