Automated Reasoning over Deontic Action Logics with Finite Vocabularies

TitleAutomated Reasoning over Deontic Action Logics with Finite Vocabularies
Publication TypeConference Paper
Year of Publication2014
AuthorsCastro, PF, Maibaum, TSE
Conference NameProceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013.
URLhttp://dx.doi.org/10.4204/EPTCS.139.2
DOI10.4204/EPTCS.139.2
PDF (Full text): 
Work Package: 
WP5