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:
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
URN: urn:nbn:de:0074-3326-4
Peer Reviewed: Ja
International Distribution: Ja
Open Access Journal: Ja
Type: Conferenceobject
Release Date: 13. January 2023