Skip to main content

Guido Governatori

Guido Governatori
Senior Principal Researcher; Adjunct Professor, Queensland University of Technology

Research Interests

Guido's research interests include non-classical logics, non-monotonic reasoning, formal models of normative reasoning, and their applications to business process modelling. A basic guideline of my research is to investigate conceptually sound formal models and methods grounded on understood principles of the underlying (application) phenomena, and with the aim of providing logic-based computationally oriented solutions.

Contact Details

Phone: +61 7 3214 2760
Email:Guido.Governatori@data61.csiro.au

More contact information is available at the Contact page.

Photo of Guido Governatori

Publication List

Projects

Business Process Compliance

Collaborations

Past and present research collaborations include

  • CIRSFID, University of Bologna, Italy
  • University of Luxembourg, Luxembourg
  • University of Verona, Italy
  • FORTH, Greece
  • Aristotle University, Thessaloniki, Greece
  • University of Turin, Italy
  • European University Institute
  • National institute of Informatics, Japan
  • University of Bolzano/Bozen, Italy

Qualifications

  • PhD, Legal Informatics, CIRSFID, University of Bologna, 1997
  • BA, Philosophy, University of Bologna, 1993

Affiliations

  • Adjunct Professor, Queensland University of Technology
  • Adjunct Professor, Griffith University

Grants

  • 2003, UQ New Staff Research Start-Up Fund: On the application of association rules for defeasible theory discovery in legal domain, $9,752
  • 2004-2008, ARC Discovery DP0452628: Combining modal logic for dynamic and multi-agents systems (with Prof. A. Sattar, A/Prof M. Orgun, A/Prof M. Reynolds and Dr C. Liu), $480,000
  • 2004, UQ Travel Award: Computational model of agent societies, $2,800
  • 2005-2007, ARC Discovery DP0558854: A Formal Approach to Resource Allocation in Open Marketplaces (with A/Prof R. Colomb and Dr S. Sadiq), $270,000
  • 2005, UQ Early Career: A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies, $20,000
  • 2006, UQ Travel Award}: $2,600
  • 2006-2007, Hellenic Republic Ministry of Development General Secretariat for Research Technology: Semantic Web e-Commerce Applications Using Defeasible Reasoning (with Prof. G. Antoniou), euro 60,000
  • 2008-2009, UQ Teaching and Learning Strategic Grants Scheme: Learning Database Management: Engaging students with an e-Learning tool suite and relevant data sets (with A/Prof S. Sadiq and Dr M. Bulmer), $30,000
  • 2009,European Master in Computational Logic: Erasmus Mundus Visiting Schoalrship, euro 8,700
  • 2010-2013, Fonds National de la Recherche Luxembourg: Managing Regulatory Compliance: a Business-Centred Approach (with Prof P. Kelsen and L. van der Torre), euro 375,000
  • 2012-2018, European Union Commission: Erasmus Mundus Joint Doctorate on Law, Science and Technology, euro 4.500.000

Steering Committees

  • Member of the Advances in Modal Logic Steering Committees, 2004-2006.
  • Director of the RuleML Initiative (singe 2008)
  • Pacific Rim International Conference on Multi-Agents (since 2007)
  • Member of the Australasian committee of Association for Symbolic Logic
  • Member at large of the Executive Board of the International Association for Artificial Intelligence and Law (2012-2016)
  • President of the Australasian Association of Logic (2005-2006)
  • Editor for the Deontic Logic Corner of the Journal of Logic and Computation
  • Editor for the Norms and Agents Section of the Artificial Intelligence and Law journal
  • Associate editor of the Journal of Research and Practice in Information Technology
  • Member of the Advisor Board of the Erasmus Mundus Joint Doctorate on Law, Science and Technology

Program Committees and Editorial Boards

  • PC Chair of RuleML 2008
  • PC Chair of RuleML 2009
  • PC Chair of RuleML 2011 Europe
  • General Chair RuleML 2012
  • PC Chair DEON 2010
  • PC Chair Jurix 2009
  • PC Chair PRIMA 2007
  • General Chair PRIMA 2011
  • PC Chair of Computational Logic in Multi-Agents Workshop (CLIMA XI, 2010)
  • Chair of Lorentz Seminar on Multi Agent Organisation (MAO 2011)
  • Chair of the Dagsthul Seminar on Normative Multi-Agent Systems (NorMAS 2012)
  • PC Chair of Computational Logic in Multi-Agents Workshop (CLIMA XIII, 2012)
I also served in the Programm Commitees of many conferences and workshops, including KR, AAMAS, ECAI, IJCAI, EDOC, ICAIL, ESWC.

Recognition and Awards

  • Best Paper Award at 3rd International Workshop on Normative Multi Agent Systems (NorMAS 2008).
  • Best Paper Award at 4th International RuleML Symposium on Rule Interchange and Applications (RuleML 2010)
  • Runner-up for the best paper award at 4th International RuleML Symposium on Rule Interchange and Applications (RuleML 2010)

Invited Talks

  • Requirement Engineering and Law Workshop (RELaw 2010)
  • 7th Asia-Pacific Conference on Conceptual Modelling (APCCM 2010)
  • 9th Augustus De Morgan Workshop, 2009
  • Advances in Modal Logic (AiML 2008)
  • 2nd Logic and Multi Agent Systems Workshop, 2007

Publications

Data61 Papers

2016

Abstract PDF Guido Governatori, Mustafa Hashmi, Brian Lam, Serena Villata and Monica Palmirani
Semantic norm modeling and business process regulatory compliance using LegalRuleML
The 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2016), Bologna, Italy, November, 2016
Abstract PDF Brian Lam, Guido Governatori and Regis Riveret
On ASPIC+ and defeasible logic
The 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September, 2016
Abstract PDF Ingo Weber, Sherry Xu, Regis Riveret, Guido Governatori, Alex Ponomarev and Jan Mendling
Untrusted business process monitoring and execution using blockchain
BPM 2016, Rio de Janeiro, Brazil , September, 2016
Abstract PDF Guido Governatori, Francesco Olivieri, Erica Calardo and Rotolo Antonino
Sequence semantics for norms and obligations
Deontic Logic and Normative Systems, Bayreuth, Germany, July, 2016
Abstract PDF Mustafa Hashmi, Guido Governatori and Moe Wynn
Normative requirements for regulatory compliance: An abstract formal framework
Information Systems Frontiers Journal, Volume 18, Number 3, pp. 429-455, June, 2016

NICTA Papers

2016

Abstract PDF Pietro Baroni, Guido Governatori, Brian Lam and Regis Riveret
On the justification of statements in argumentation-based reasoning
The 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), pp. 521-524, South Africa, March, 2016
Abstract PDF Regis Riveret and Guido Governatori
On learning attacks in probabilistic abstract argumentation
International Conference on Autonomous Agents and Multiagent Systems, pp. 9, Singapore, March, 2016

2015

Abstract PDF Guido Governatori
Burden of compliance and burden of violation
28th International Conference on Legal Knowledge and Information Systems., Minho, Portugal, December, 2015
Abstract
Slides
PDF Guido Governatori and Mustafa Hashmi
Permissions in deontic event-calculus
International Conference on Legal Knowledge and Information Systems (Jurix), pp. 181-182, Braga, Portugal, December, 2015
Abstract PDF Guido Governatori
The regorous approach to process compliance
8th International Workshop on Evolutionary Business Processes, pp. 33-40, Adelaide, Brisbane, September, 2015
Abstract PDF Guido Governatori and Mustafa Hashmi
No time for compliance
IEEE International EDOC Conference , pp. 9-18, Adelaide, Australia, September, 2015
Abstract PDF Tara Athan, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner
LegalRuleML: design principles and foundations
The 11th Reasoning Web Summer School, pp. 151-188, Berlin, Germany, July, 2015
Abstract PDF Mauro Dragoni, Guido Governatori and Serena Villata
Automated rules generation from natural language legal texts
Workshop on Automated Detection, Extraction and Analysis of Semantic Information in Legal Texts, pp. 1-6, San Diego, USA, June, 2015
Abstract PDF Guido Governatori
Thou shalt is not you will
The 15th International Conference on Artificial Intelligence & Law, pp. 63-68, San Diego, CA, USA, June, 2015
Abstract PDF Guido Governatori, Antonino Rotolo and Giovanni Sartor
Deontic defeasible reasoning in legal interpretation
The 15th International Conference on Artificial Intelligence & Law, pp. 99-108, San Diego, USA, June, 2015
Abstract PDF Badiul Islam and Guido Governatori
RuleOMS: A rule-based online management system
The 15th International Conference on Artificial Intelligence & Law, pp. 187-191, San Diego, USA, June, 2015
Abstract PDF Shazia Sadiq and Guido Governatori
Managing regulatory compliance in business processes
Handbook of Business Process Managemnet, pp. 265-288, Volume 2 in International Handbooks on Information Systems, Springer, 2015

2014

Abstract PDF Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco and Giovanni Sartor
Two faces of strategic argumentation in the law
27th International Conference on Legal Knowledge and Information Systems, pp. 81-90, Krakow, Poland, December, 2014
Abstract PDF Cristian Cardellino, Serena Villata, Fabien Gandon, Guido Governatori, Brian Lam and Antonino Rotolo
Licentia: A tool for supporting users in data licensing on the web of data
The 13th International Semantic Web Conference (ISWC) - Posters and Demos Track, pp. 277-280, Trentino, Italy, October, 2014
Abstract PDF Guido Governatori, Brian Lam, Antonino Rotolo, Serena Villata, Ghislain Atemezing and Fabien Gandon
Checking licenses compatibility between vocabularies and data
Fifth International Workshop on Consuming Linked Data (COLD2014), pp. 37-48, Riva del Garda, Italy, October, 2014
Abstract PDF Guido Governatori, Brian Lam, Antonino Rotolo, Serena Villata, Ghislain Atemezing and Fabien Gandon
LIVE: A tool for checking licenses compatibility between vocabularies and data
The 13th International Semantic Web Conference (ISWC) - Posters and Demos Track, pp. 77-80, Trentino, Italy, October, 2014
Abstract
Slides
PDF Mustafa Hashmi, Guido Governatori and Moe Wynn
Modeling obligations with event-calculus
Rule ML 2014, pp. 296-310, Prague, Czec Republic, August, 2014
Abstract PDF Erica Calardo, Guido Governatori and Antonino Rotolo
A preference-based non-normal semantics for CTD
Deontic Logic in Computer Science, pp. 65-80, Ghent, Belgium, July, 2014
Abstract PDF Guido Governatori, Silvano Colombo Tosatto and Pierre Kelsen
Detecting deontic conflicts in dynamic settings
Deontic Logic in Computer Science, pp. 65-80, Ghent, Beligium, July, 2014
Abstract PDF Mustafa Hashmi, Guido Governatori and Moe Wynn
Normative requirements for business process compliance
Third Australasian Symposium on Service Research and Innovation (ASSRI’13), pp. 15, Sydney, Australia , June, 2014
Abstract PDF Guido Governatori
Thou shalt is not you will
Technical Report, The 15th International Conference on Artificial Intelligence & Law, April, 2014

2013

Abstract PDF Guido Governatori
Business process compliance: An abstract normative framework
IT – Information Technology, Volume 55, Number 6, pp. 1-8, December, 2013
Abstract PDF Guido Governatori, Brian Lam, Antonino Rotolo, Serena Villata and Fabien Gandon
Heuristics for licenses composition
The 26th International Conference on Legal Knowledge and Information Systems (JURIX 2013), pp. 77-86, Bologna, Italy, December, 2013
Abstract PDF Guido Governatori, Francesco Olivieri, Simone Scannapieco, Antonino Rotolo and Matteo Cristani
The rationale behind the concept of goal in defeasible logic
Technical Report, Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), December, 2013
Abstract PDF Francesco Olivieri, Guido Governatori, Simone Scannapieco and Matteo Cristani
Compliant business process design by declarative specifications
Principles and Practice of Multi-Agent Systems (PRIMA 2013), pp. 213-228, Dunedin, New Zealand, December, 2013
Abstract PDF Simone Scannapieco, Guido Governatori, Francesco Olivieri and Matteo Cristani
A methodology for plan revision under norm and outcome compliance
Principles and Practice of Multi-Agent Systems (PRIMA 2013), pp. 324-339, Dunedin, New Zealand, December, 2013
Abstract PDF Guido Governatori
ICT support for regulatory compliance of business processes
29th World Continuous Auditing and Reporting Symposium, pp. 1-10, Brisbane, Australia, November, 2013
Abstract PDF Guido Governatori, Francesco Olivieri, Antonino Rotolo and Simone Scannapieco
Computing strong and weak permission in defeasible logic
Journal of Philosophical Logic, Volume 42, Number 6, pp. 799-829, November, 2013
Abstract PDF Guido Governatori
The regorous approach to business process compliance
Lecture, CIRSFID, University of Bologna, October, 2013.
Lecture delivered in the EU Law, Science and Technology Joint Doctorate
Abstract PDF Guido Governatori, Antonino Rotolo, Serena Villata and Fabiam Gandon
One license to compose them all: A deontic logic approach to data licensing on the web of data
International Semantic Web Conference, pp. 151-166, Sydney, October, 2013
Abstract PDF Silvano Colombo Tosatto, Guido Governatori and Pierre Kelsen
Towards an abstract framework for compliance
EDOC 2013, pp. 79-88, Vancouver, September, 2013
Abstract PDF Mustafa Hashmi and Guido Governatori
A methodological evaluation of business process compliance management frameworks
Asia-Pacific Conference on Business Process Management, pp. 106-115, Beijing, China, August, 2013
Abstract PDF Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner
LegalRuleML: From metamodel to use cases
RuleML 2013, pp. 13-18, Seatle, USA, July, 2013
Abstract PDF Guido Governatori, Francesco Olivieri, Antonino Rotolo, Simone Scannapieco and Matteo Cristani
Picking up the best goal an analytical study in defeasible logic
RuleML 2013, pp. 99-113, Seattle, USA, July, 2013
Abstract PDF Guido Governatori and Antonino Rotolo
Computing temporal defeasible logic
RuleML 2013, pp. 114-128, Seattle, USA, July, 2013
Abstract PDF Adam Wyner and Guido Governatori
A study on translating regulatory rules from natural language to defeasible logic
RuleML 2013, pp. 16.1-16.8, Seatle, USA, July, 2013
Abstract PDF Tara Athan, Harold Boley, Guido Governatori, Monica Palmirani, Adrian Paschke and Adam Wyner
OASIS LegalRuleML
International Conference on Artificial Intelligence and Law (ICAIL 2013), pp. 3-12, Rome, June, 2013
Abstract PDF Guido Governatori, Francesco Olivieri, Antonino Rotolo and Simone Scannapieco
Legal contractions: A logical analysis
International Conference on Artificial Intelligence and Law (ICAIL) 2013, pp. 63-72, Rome, June, 2013
Abstract PDF
Presentation Video
Guido Governatori and Sidney Shek
Regorous: A business process compliance checker
International Conference on Artificial Intelligence and Law (ICAIL) 2013, pp. 245-246, Rome, June, 2013
Abstract PDF Munindar P. Singh, Matthew Arrott, Tina Balke, Amit Chopra, Rob Christiaanse, Stephen Cranefield, Frank Dignum, Davide Eynard, Emilia Farcas, Nicoletta Fornara, Fabien Gandon, Guido Governatori, Hoa Khanh Dam, Joris Hulstijn, Ingolf Krueger, Brian Lam, Michael Meisinger, Pablo Noriega, Bastin Tony Roy Savarimuthu, Kartik Tadanki, Harko Verhagen and Serena Villata
The uses of norms
Normative Multi-Agent Systems, pp. 191–229, Volume 4 in Dagstuhl Follow-Ups, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013
Abstract PDF Brian Lam and Guido Governatori
Towards a model of UAVs navigation in urban canyon through defeasible logic
Journal of Logic and Computation (JLC), Volume 23, Number 2, pp. 373–395, April, 2013

2012

Abstract PDF Silvano Colombo-Tosatto, Guido Governatori, Pierre Kelsen and Leendert van der Torre
Business process compliance is hard
Technical Report, Artificial Intelligence, December, 2012
Abstract PDF Mustafa Hashmi, Guido Governatori and Moe Thandar Wynn
Business process data compliance
The 6th International Symposium on Rules (RuleML 2012), pp. 32-46, Montpelier, France, August, 2012
Abstract PDF Brian Lam, Guido Governatori, Ken Satoh and Hiroshi Hosobe
Distributed defeasible speculative reasoning in ambient environment
The 13th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIII), pp. 43–60, Montpelier, France, August, 2012
Abstract PDF Bela Stantic, Paolo Terenziani, Guido Governatori, Alessio Bottrighi and Abdul Sattar
An implicit approach to deal with periodically-repeated medical data
Artificial Intelligence in Medicine, Volume 55, Number 3, pp. 149–162, April, 2012

2011

Abstract PDF Guido Governatori, Francesco Olivieri, Simone Scannapieco and Matteo Cristani
Designing for compliance: Norms and goals
RuleML 2011, pp. 16, Ft Lauderdale USA, August, 2011

2010

Abstract PDF Brian Lam and Guido Governatori
On the problem of computing ambiguity propagation and well-founded semantics in defeasible logic
The 4th International Web Rule Symposium: Research Based and Industry Focused (RuleML 2010), pp. 119-127, Washington, USA, October, 2010
Abstract PDF David Billington, Grigoris Antoniou, Guido Governatori and Michael Maher
An inclusion theorem for defeasible logic
Volume 12, Number 1, March, 2010

2008

Abstract PDF Guido Governatori, Jörg Hoffmann, Shazia Sadiq and Ingo Weber
Detecting regulatory compliance for business process models through semantic annotation
Business Process Management, pp. 5-17, Milan, Italy, November, 2008
Abstract PDF Guido Governatori and Antonino Rotolo
BIO logical agents: Norms, beliefs, intentions in defeasible logic
Journal of Autonomous Agents and Multi-Agent Systems (JAAMAS), Volume 17, Number 1, pp. 36-69, February, 2008
Abstract PDF Guido Governatori and Antonino Rotolo
A computational framework for institutional agency
Artificial Intelligence and Law, Volume 16, Number 1, pp. 25-52, February, 2008

2007

Abstract PDF Subhasis Thakur, Guido Governatori, Vineet Padmanabhan and Jenny Eriksson Lundström
Dialogue games in defeasible logic
20th Australian Joint Conference on Artificial Intelligence, AI 2007, pp. 497-506, Surfer Paradise, Australia, December, 2007

Non-NICTA Papers

2016

Abstract PDF Guido Governatori, Mustafa Hashmi, Brian Lam, Serena Villata and Monica Palmirani
Semantic norm modeling and business process regulatory compliance using LegalRuleML
The 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW 2016), Bologna, Italy, November, 2016
Abstract PDF Brian Lam, Guido Governatori and Regis Riveret
On ASPIC+ and defeasible logic
The 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September, 2016
Abstract PDF Ingo Weber, Sherry Xu, Regis Riveret, Guido Governatori, Alex Ponomarev and Jan Mendling
Untrusted business process monitoring and execution using blockchain
BPM 2016, Rio de Janeiro, Brazil , September, 2016
Abstract PDF Guido Governatori, Francesco Olivieri, Erica Calardo and Rotolo Antonino
Sequence semantics for norms and obligations
Deontic Logic and Normative Systems, Bayreuth, Germany, July, 2016
Abstract PDF Mustafa Hashmi, Guido Governatori and Moe Wynn
Normative requirements for regulatory compliance: An abstract formal framework
Information Systems Frontiers Journal, Volume 18, Number 3, pp. 429-455, June, 2016

Research Theses Supervised

2015

Abstract PDF Mustafa Hashmi
Evaluating business process compliance management frameworks
PhD Thesis, Business ProcessManagement Discipline Information Systems School Queensland University of Technology (QUT), Brisbane, Australia, December, 2015

2014

Abstract
Slides
PDF Francesco Olivieri
Compliance by design: Synthesis of business processes by declarative specifications
PhD Thesis, Griffith University/Institute for Integrated and Intelligent Systems, Brisbane, Australia, December, 2014
Abstract PDF Simone Scannapieco
Towards a methodology for business process revision under norm and outcome compliance
PhD Thesis, Institute for Integrated and Intelligent Systems, Griffith Sciences Group, Griffith University and the Department of Computer Science, University of Verona, Brisbane, Australia and Verona, Italy, December, 2014