Record link: 
http://hdl.handle.net/20.500.12708/136992
-
Title: 
Automated Verification of Deontic Correspondences in Isabelle/HOL - First results
en
Citation: 
Parent, X., & Benzmüller, C. (2022). Automated Verification of Deontic Correspondences in Isabelle/HOL - First results. In Proceedings of Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022). ARQNL22 - Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022), Haifa, Israel. http://hdl.handle.net/20.500.12708/136992
-
Publication Type: 
Inproceedings - Full-Paper Contribution
en
 
Konferenzbeitrag - Full-Paper Contribution
de
Language: 
English
-
Authors: 
Parent, Xavier 
Benzmüller, Christoph 
-
Organisational Unit: 
E192-05 - Forschungsbereich Theory and Logic 
-
Published in: 
Proceedings of Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022) 
-
Date (published): 
2022
-
Event name: 
ARQNL22 - Automated Reasoning in Quantified Non-Classical Logics, 4th International Workshop (associated with FLoC and IJCAR 2022) 
en
Event date: 
11-Aug-2022
-
Event place: 
Haifa, Israel
-
Peer reviewed: 
Yes
-
Keywords: 
Normative Reasoning; Machine ethics; Isabelle/HOL
en
Project title: 
Axiomatisierung des Schließens mit normativen Konditionalen: M 3240-N (Fonds zur Förderung der wissenschaftlichen Forschung (FWF)) 
-
Research Areas: 
Computer Science Foundations: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
License: 
CC BY-NC-ND 4.0 CC BY-NC-ND 4.0
en
Appears in Collections:
Conference Paper

Show full item record

This item is licensed under a Creative Commons License Creative Commons

Page view(s)

54
checked on May 8, 2023

Download(s)

8
checked on May 8, 2023

Google ScholarTM

Check