Author of the publication

Compliant Business Process Design by Declarative Specifications.

, , , and . PRIMA, volume 8291 of Lecture Notes in Computer Science, page 213-228. Springer, (2013)

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 Uses of Norms, , , , , , , , , and 12 other author(s). Normative Multi-Agent Systems, volume 4 of Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2013)Normative autonomy and normative co-ordination: Declarative power, representation, and mandate., , , and . Artif. Intell. Law, 12 (1-2): 53-81 (2004)On the relationship between Carneades and Defeasible Logic.. ICAIL, page 31-40. ACM, (2011)Towards a model of UAVs navigation in urban canyon through defeasible logic., and . J. Log. Comput., 23 (2): 373-395 (2013)Process modelling: the deontic way., , , , and . APCCM, volume 53 of CRPIT, page 75-84. Australian Computer Society, (2006)Using a temporal constraint network for business process execution., , , and . ADC, volume 49 of CRPIT, page 157-166. Australian Computer Society, (2006)An optimization for query answering on ALC database., and . ADC, volume 49 of CRPIT, page 129-137. Australian Computer Society, (2006)Business Process Data Compliance., , and . RuleML, volume 7438 of Lecture Notes in Computer Science, page 32-46. Springer, (2012)Hardware Implementation of Temporal Nonmonotonic Logics., and . Australian Conference on Artificial Intelligence, volume 4304 of Lecture Notes in Computer Science, page 808-817. Springer, (2006)A Fibred Tableau Calculus for Modal Logics of Agents., and . DALT, volume 4327 of Lecture Notes in Computer Science, page 105-122. Springer, (2006)