Automated Verification of Deontic Correspondences in Isabelle/HOL : First Results




Faculty/Professorship: AI Systems Engineering 
Author(s): Parent, Xavier; Benzmüller, Christoph  
Title of the Journal: CEUR Workshop Proceedings
ISSN: 1613-0073
Corporate Body: CEUR-WS.org
Conference: ARQNL 2022: Automated Reasoning in Quantified Non-Classical Logics, 11 August 2022, Haifa, Israel
Publisher Information: Aachen, Germany : RWTH Aachen
Year of publication: 2023
Issue: 3326, Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022) affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022)
Pages: 92-108
Language(s): English
URL: https://ceur-ws.org/Vol-3326/ARQNL2022_paper6.pdf
URN: urn:nbn:de:0074-3326-4
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Conferenceobject
URI: https://fis.uni-bamberg.de/handle/uniba/57613
Release Date: 13. January 2023