Author of the publication

Joint Proceedings of Workshops AI4LEGAL2020, NLIWOD, PROFILES 2020, QuWeDa 2020 and SEMIFORM2020 Colocated with the 19th International Semantic Web Conference (ISWC 2020), Virtual Conference, November, 2020

, , , , , , , , , , , , , , , , , , , and (Eds.) volume 2722 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The architecture of a reasoning system for Defeasible Deontic Logic., , , , , , , and . KES, volume 225 of Procedia Computer Science, page 4214-4224. Elsevier, (2023)Rule Based Business Process Compliance., and . RuleML (2), volume 874 of CEUR Workshop Proceedings, CEUR-WS.org, (2012)A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic., , , and . RuleML Challenge, volume 549 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)On the Relative Complexity of Labelled Modal Tableaux.. CATS, volume 78 of Electronic Notes in Theoretical Computer Science, page 40-57. Elsevier, (2003)Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories., and . DEON, volume 5076 of Lecture Notes in Computer Science, page 3-18. Springer, (2008)Is Free Choice Permission Admissible in Classical Deontic Logic?, and . DEON, page 255-271. College Publications, (2021)Semi-automated checking for regulatory compliance in e-Health., , , , and . EDOC Workshops, page 318-325. IEEE, (2021)The cost of social agents., , and . AAMAS, page 513-520. ACM, (2006)On compliance checking for clausal constraints in annotated process models., , and . Inf. Syst. Frontiers, 14 (2): 155-177 (2012)Process modelling: the deontic way., , , , and . APCCM, volume 53 of CRPIT, page 75-84. Australian Computer Society, (2006)