Author of the publication

Taking stock of available technologies for compliance checking on first-order knowledge.

, , , , , , , , , and . CILC, volume 3204 of CEUR Workshop Proceedings, page 1-16. CEUR-WS.org, (2022)

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

On compliance checking for clausal constraints in annotated process models., , and . Inf. Syst. Frontiers, 14 (2): 155-177 (2012)On managing business processes variants., , and . Data Knowl. Eng., 68 (7): 642-664 (2009)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 10 other author(s). volume 2722 of CEUR Workshop Proceedings, CEUR-WS.org, (2020)The Rationale behind the Concept of Goal., , , , and . CoRR, (2015)Revision of Defeasible Logic Preferences, , , and . CoRR, (2012)Normative autonomy and normative co-ordination: Declarative power, representation, and mandate., , , and . Artif. Intell. Law, 12 (1-2): 53-81 (2004)Process modelling: the deontic way., , , , and . APCCM, volume 53 of CRPIT, page 75-84. Australian Computer Society, (2006)Towards a model of UAVs navigation in urban canyon through defeasible logic., and . J. Log. Comput., 23 (2): 373-395 (2013)On the relationship between Carneades and Defeasible Logic.. ICAIL, page 31-40. ACM, (2011)Using a temporal constraint network for business process execution., , , and . ADC, volume 49 of CRPIT, page 157-166. Australian Computer Society, (2006)