Guido Governatori, PhD
Brisbane, Australia
Research field: Computer and Information Science - Artificial Intelligence
defeasible logic, non-classical logic, modal logic, deontic logic, normative reasoning, business process compliance
Publications
-
Journal Article (38)
-
Grigoris Antoniou, Nikos Dimaresis, Guido Governatori (2009) A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems, 4125-4134. In Expert Systems with Applications 36 (2).
-
Ruopeng Lu, Shazia Sadiq, Guido Governatori et al. (2009) Defining Adaptation Constraints for Business Process Variants, 1-12. In Electronic Engineering.
-
Ruopeng Lu, Shazia Sadiq, Guido Governatori (2009) Measurement of Compliance Distance in Business Processes, 344-355. In Information Systems.
-
Guido Governatori, Mehmet A. Orgun, Chuchang Liu (2009) Modal tableaux for verifying stream authentication protocols, 53-75. In Journal of Autonomous Agents and Multi Agent Systems.
-
Jörg Hoffmann, Ingo Weber, Guido Governatori (2009) On compliance checking for clausal constraints in annotated process models. In Information Systems Frontiers.
-
Ruopeng Lu, Shazia Sadiq, Guido Governatori (2009) On managing business processes variants, 642-664. In Data & Knowledge Engineering 68 (7).
-
Ingo Weber, Guido Governatori (2008) Approximate Compliance Checking for Annotated Process Models, 1-15. In Framework.
-
Guido Governatori, Antonino Rotolo (2008) BIO logical agents: Norms, beliefs, intentions in defeasible logic, 36-69. In Autonomous Agents and Multi-Agent Systems 17 (1).
-
Guido Governatori, Antonino Rotolo (2008) Changing Legal Systems: Abrogation and Annulment Part II: Temporalised Defeasible Logic. In NorMAS.
-
Claudio Bartolini, Guido Governatori, Zoran Milosevic (2008) Introduction to the Special Issue: Electronic Contract Architectures and Languages, 5-7. In International Journal of Electronic Commerce 12 (4).
- See all
-
-
Book (2)
-
(2009) Agent Computing and Multi-Agent Systems. In Springer.
-
(2006) Advances in Modal Logic. In College Press.
-
-
Generic (1)
-
Guido Governatori (1997) Un modello formale per il ragionamento giuridico.
-
-
Book Section (7)
-
Guido Governatori (2008) Labelled Modal Tableaux. In Advances in Modal Logic 6.
-
Alberto Artosi, Guido Governatori (2006) Popper on Necessity and Natural Laws, 107-118. In Karl Popper Philosopher of Science.
-
Jonathan Gelati, Guido Governatori, Antonino Rotolo et al. (2002) Declarative Power, Representation, and Mandate: A Formal Anaysis, 41-52. In Legal Knowledge and Information Systems.
-
Dov M Gabbay, Guido Governatori (2000) Fibred Modal Tableaux, 163-194. In Labelled Deduction.
-
Guido Governatori, Dov M Gabbay (1999) Fibring Logic.
-
Dov M Gabbay, Guido Governatori (1998) FIBRED MODAL TABLEAUX, 163-193. In Labelled Deduction.
-
Alberto Artosi, Paola Benassi, Guido Governatori et al. (1998) Shakespearian modal logic: A Labelled Treatment of Modal Identity, 1-21. In Advances in Modal Logic. Volume 1.
-
-
Conference Proceedings (81)
-
Guido Governatori, Renato Iannella (2009) Modelling and Reasoning Languages for Social Networks Policies, 193-200. In Enterprise Distributed Object Computing Conference, 2009. EDOC '09. IEEE International.
-
Thomas F Gordon, Guido Governatori, Antonino Rotolo (2009) Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain, 282-296. In Rule Interchange and Applications RuleML 2009.
-
Grigoris Antoniou, Nikos Dimaresis, Guido Governatori (2008) A system for modal and deontic defeasible reasoning, 2261. In Proceedings of the 2008 ACM symposium on Applied computing - SAC '08.
-
Duy Hoang Pham, Guido Governatori, Simon Raboczi (2008) Agents adapt to majority behaviours, ?. In The 2008 IEEE International Conference on Research, Innovation and Vision for the Future, 2008. RIVF'08.
-
Guido Governatori, Antonino Rotolo (2008) An Algorithm for Business Process Compliance, 186-191. In Jurix.
-
Guido Governatori, Antonino Rotolo (2008) Changing legal systems: Abrogation and annulment part I: Revision of defeasible theories, 3–18. In Deon.
-
Mehdi Dastani, Guido Governatori, Antonino Rotolo et al. (2008) Contextual Agent Deliberation in Defeasible Logic, ?. In 10 Pacific Rim International Workshop on Multi-Agents.
-
Guido Governatori, Shazia Sadiq, Ingo Weber (2008) Detecting Regulatory Compliance for Business Process Models through Semantic Annotations. In Business Process Design.
-
Jeff Blee, David Billington, Guido Governatori et al. (2008) Levels of Modalities for BDI Logic, 647-650. In 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology.
-
Duy Hoang Pham, Guido Governatori, Simon Raboczi et al. (2008) On Extending RuleML for Modal Defeasible Logic, 89-103. In RuleML.
- See all
-
Awards and Grants
No awards or grants added yet.
Biographical Information
No biographical information added yet.
CV
Professional Experience
2011 - Present
2010 - Present
Principal Researcher at NICTA
Brisbane, Australia
Brisbane, Australia
2008 - Present
Jan 2002 - Sep 2008
Lecturer at The University of Queensland, Australia
Brisbane, Australia
Brisbane, Australia
Aug 2000 - Feb 2002
Associate Lecturer at QUT
Brisbane, Australia
Brisbane, Australia
Education
Jan 1994 - Feb 1997
Sep 1986 - Jul 1993
Public Groups
Public groups Guido is a member of
Public groups Guido is following
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more