Guido Governatori
Guido Governatori
Senior Principal Researcher, Data61, CSIRO, Australia
Verified email at nicta.com.au - Homepage
TitleCited byYear
Modeling control objectives for business process compliance
S Sadiq, G Governatori, K Namiri
Proceedings of the 5th international conference on Business process …, 2007
4812007
Representation results for defeasible logic
G Antoniou, D Billington, G Governatori, MJ Maher
ACM Transactions on Computational Logic (TOCL) 2 (2), 255-287, 2001
3432001
Compliance checking between business processes and business contracts
G Governatori, Z Milosevic, S Sadiq
Enterprise Distributed Object Computing Conference, 2006. EDOC'06. 10th IEEE …, 2006
2992006
Representing business contracts in RuleML
G Governatori
International Journal of Cooperative Information Systems 14 (2-3), 181-216, 2005
2542005
Argumentation semantics for defeasible logic
G Governatori, MJ Maher, G Antoniou, D Billington
Journal of Logic and Computation 14 (5), 675-702, 2004
2522004
Temporalised normative positions in defeasible logic
G Governatori, A Rotolo, G Sartor
Proceedings of the 10th international conference on Artificial intelligence …, 2005
1522005
The journey to business process compliance
G Governatori, S Sadiq
Handbook of research on business process modeling, 426-454, 2009
1342009
On managing business processes variants
R Lu, S Sadiq, G Governatori
Data & Knowledge Engineering 68 (7), 642-664, 2009
1332009
Compliance aware business process design
R Lu, S Sadiq, G Governatori
Proceedings of the 2007 international conference on Business process …, 2007
1322007
Untrusted business process monitoring and execution using blockchain
I Weber, X Xu, R Riveret, G Governatori, A Ponomarev, J Mendling
International Conference on Business Process Management, 329-347, 2016
1302016
Logic of violations: A Gentzen system for reasoning with contrary-to-duty obligations
G Governatori, A Rotolo
129*2005
BIO logical agents: Norms, beliefs, intentions in defeasible logic
G Governatori, A Rotolo
Autonomous Agents and Multi-Agent Systems 17 (1), 36-69, 2008
1222008
A flexible framework for defeasible logics
G Antoniou, D Billington, G Governatori, MJ Maher
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, 405-410, 2000
1202000
Detecting regulatory compliance for business process models through semantic annotations
G Governatori, J Hoffmann, S Sadiq, I Weber
Business Process Management Workshops, 5-17, 2009
1182009
Managing regulatory compliance in business processes
S Sadiq, G Governatori
Handbook on Business Process Management 2, 265-288, 2015
107*2015
Changing legal systems: Legal abrogations and annulments in defeasible logic
G Governatori, A Rotolo
Logic Journal of IGPL 18 (1), 157-194, 2010
992010
The making of SPINdle
HP Lam, G Governatori
Rule Interchange and Applications, 315-322, 2009
992009
Defeasible logic: Agency, intention and obligation
G Governatori, A Rotolo
Deontic logic in computer science, 114-128, 2004
952004
A formal analysis of a business contract language
G Governatori, Z Milosevic
International Journal of Cooperative Information Systems 15 (4), 659-685, 2006
942006
Normative multi-agent systems
G Andrighetto, G Governatori, P Noriega, LWN van der Torre
Normative Multi-Agent Systems 4, 2013
922013
The system can't perform the operation now. Try again later.
Articles 1–20