Guido Governatori PhD

Research Leader

NICTA

Location
Brisbane, Australia
Discipline
Computer and Information Science
Interests
defeasible logic, non-classical logic, modal logic, deontic logic, normative reasoning, business process compliance
More... Less...

  • 13 Followers

Stats

Publications

  • Compliance Aware Business Process Design

    Lu R, Sadiq S, Governatori G

    3rd International Workshop on Business Process Design (BPD'07) (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On the Axiomatization of Elgesem's Logic of Ability and Agency

    Governatori G, Rotolo A

    Bulletin of Symbolic Logic (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Levels of Modalities for BDI Logic

    Blee J, Billington D, Governatori G, Sattar A

    2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Actions Made Explicit in BDI

    Padmanabhan V, Governatori G, Sattar A

    Advances in Artificial Intelligence (2001)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled Modal Sequents

    Governatori G, Rotolo A

    Methods for Modalities 1 (1999)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Agents adapt to majority behaviours

    Pham D, Governatori G, Raboczi S

    The 2008 IEEE International Conference on Research, Innovation and Vision for the Future, 2008. RIVF'08 (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Handling of Current Time in Native XML Databases

    Stantic B, Governatori G, Sattar A

    Seventeenth Australasian Database Conference (ADC2006) (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • DR-NEGOTIATE--- A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies

    Skylogiannis T, Antoniou G, Bassiliades N, Governatori G, Bikakis A

    Data & Knowledge Engineering (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • BIO Logical Agents: Norms, Beliefs, Intentions in Defeasible Logic

    Governatori G, Rotolo A

    Normative Multi-agent Systems (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Knowledge Assessment: A Modal Logic Approach

    Padmanabhan V, Governatori G, Su K

    3rd International Workshop on Knowledge and Reasoning for Answering Questions (KRAQ'07) (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On the Relative Complexity of Modal Tableaux

    Governatori G

    CATS'03 (2003)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Is Defeasible Logic Applicable?

    Governatori G, ter Hofstede A, Oaks P

    Proceedings of the 2nd Australasian Workshop on Computational Logic (2001)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Logic of Violations: A Gentzen System for Reasoning with Contrary-To-Duty Obligations

    Governatori G, Rotolo A

    Australasian Journal of Logic (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Agent Computing and Multi-Agent Systems

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled Tableaux for Non-monotonic Reasoning: Cumulative Consequence Relations

    Artosi A, Governatori G, Rotolo A

    Journal of Logic and Computation (2002)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled Modal Sequents

    Governatori G, Rotolo A

    Position Papers and Tutorials, TABLEAUX 2000 (2000)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations

    Artosi A, Governatori G, Rotolo A

    Automated Reasoning with Analytic Tableaux and Related Methods (2000)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Contextual Agent Deliberation in Defeasible Logic

    Dastani M, Governatori G, Rotolo A, Song I, van der Torre L

    10 Pacific Rim International Workshop on Multi-Agents (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Defeasible Description Logic

    Governatori G

    Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004 (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modifying Is Better Than Deleting: A New Approach To Base Revision

    Di Giusto P, Governatori G

    AI*IA 99 (1999)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled tableaux for non-normal modal logics

    Governatori G, Luppi A

    AI*IA 99 (2000)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A Formal Analysis of a Business Contract Language

    Governatori G, Milosevic Z

    International Journal of Cooperative Information Systems (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A System for Modal and Deontic Defeasible Reasoning

    Antoniou G, Dimaresis N, Governatori G

    20th Australian Joint Conference on Artificial Intelligence, AI 2007 (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modal Tableaux for Verifying Security Protocols

    Orgun M, Governatori G, Liu C

    Formal Approaches to Multi-Agent Systems (FAMAS 2006) (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Advances in Modal Logic

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modelling of Control Objectives for Business Process Compliance

    Sadiq S, Governatori G, Naimiri K

    BPM 2007 (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Guest editors' introduction

    Milosevic Z, Governatori G

    International Journal of Cooperative Information Systems (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Argumentation Semantics for Defeasible Logics

    Governatori G, Maher M, Antoniou G, Billington D

    PRICAI 2000: Topics in Artificial Intelligence (2000)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Argumentation Semantics for Defeasible Logics

    Governatori G, Maher M, Billington D, Antoniou G

    Journal of Logic and Computation (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A Model of Dynamic Resource Allocation in Workflow Systems

    Governatori G, Rotolo A, Sadiq S

    Database Technology 2004 (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modal tableaux for verifying stream authentication protocols

    Governatori G, Orgun M, Liu C

    Journal of Autonomous Agents and Multi Agent Systems (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Proceedings of the 2nd Australasian Workshop on Computational Logic

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On the Axiomatization of Elgesem's Logic of Agency and Ability

    Governatori G, Rotolo A

    Journal of Philosophical Logic (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Measurement of Compliance Distance in Business Processes

    Lu R, Sadiq S, Governatori G

    Information Systems Management (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Declarative Power, Representation, and Mandate: A Formal Anaysis

    Gelati J, Governatori G, Rotolo A, Sartor G

    Legal Knowledge and Information Systems (2002)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Fibring Logic

    Governatori G, Gabbay D

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Process Modelling: The Deontic Way

    Padmanabhan V, Governatori G, Sadiq S, Colomb R, Rotolo A

    Conceptual Modelling 2006. Proceedings of the Thirds Asia-Pacific Conference on Conceptual Modelling (APCCM2006) (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Hardware Implementation of Temporal Nonmonotonic Logics

    Song I, Governatori G

    19th Australian Joint Conference on Artificial Intelligence (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Temporal Extension of Defeasible Logic

    Governatori G, Terenziani P

    Proceedings of the IJCAI'07 Workshop on Spatial And Temporal Reasoning (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Variants of Temporal Defeasible Logic for Modelling Norm Modifications

    Governatori G, Rotolo A, Riveret R, Palmirani M, Sartor G

    Proceedings of 11th International Conference on Artificial Intelligence and Law (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On Fibring Semantics for BDI Logics

    Governatori G, Padmanabhan V, Sattar A

    Jelia 2002 (2002)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • DR-CONTRACT: An Architecture for e-Contracts in Defeasible Logic

    Governatori G, Pham D

    2nd EDOC Workshop on Contract Architectures and Languages (CoALA 2005) (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Representing and Reasoning on XForms Document

    Chow P, Governatori G

    Database Technology 2004 (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Fibred Modal Tableaux

    Gabbay D, Governatori G

    Labelled Deduction (2000)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modelling and Reasoning Languages for Social Networks Policies

    Governatori G, Iannella R

    Enterprise Distributed Object Computing Conference, 2009. EDOC '09. IEEE International (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On the Axiomatization of Elgesem's Logic of Agency

    Governatori G, Rotolo A

    AiML 2004 -- Advances in Modal Logic (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Defeasible Logic: Agency, Intention and Obligation

    Governatori G, Rotolo A

    Deontic Logic in Computer Science (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A tableaux methodology for deontic conditional logics

    Artosi A, Governatori G

    ΔEON'98, 4^{th} International Workshop on Deontic Logic in Computer Science (1998)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Representing Contracts Using RuleML

    Governatori G, Rotolo A

    Legal Knowledge and Information Systems (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Popper on Necessity and Natural Laws

    Artosi A, Governatori G

    Karl Popper Philosopher of Science (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A semantic decomposition of defeasible logic

    Maher M, Governatori G

    Proc. American National Conference on Artificial Intelligence (AAAI-99) (1999)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • RuleML 2008

    Rule Representation, Interchange and Reasoning on the Web (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • \mathcalALE Defeasible Description Logic

    Pothipruk P, Governatori G

    19th Australian Joint Conference on Artificial Intelligence (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain

    Gordon T, Governatori G, Rotolo A

    Rule Interchange and Applications RuleML 2009 (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Un modello formale per il ragionamento giuridico

    Governatori G

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Shakespearian modal logic: A Labelled Treatment of Modal Identity

    Artosi A, Benassi P, Governatori G, Rotolo A

    Advances in Modal Logic. Volume 1 (1998)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Revising Nonmonotonic Belief Sets: The Case of Defeasible Logic

    Billington D, Antoniou G, Governatori G, Maher M

    KI-99: Advances in Artificial Intelligence (1999)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • An Algorithm for Business Process Compliance

    Governatori G, Rotolo A

    Jurix (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • BIO logical agents: Norms, beliefs, intentions in defeasible logic

    Governatori G, Rotolo A

    Autonomous Agents and Multi-Agent Systems (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • The cost of social agents

    Governatori G, Rotolo A, Padmanabhan V

    In 5th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS06), New York (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Measurement of Compliance Distance in Business Work Practice

    Lu R, Sadiq S, Governatori G

    Management

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On compliance checking for clausal constraints in annotated process models

    Hoffmann J, Weber I, Governatori G

    Information Systems Frontiers (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Variants of Temporal Defeasible Logics for Modelling Norm Modifications

    Governatori G, Rotolo A, Palmirani M, Sartor G

    ICAIL (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Approximate Compliance Checking for Annotated Process Models

    Weber I, Governatori G

    Framework (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modal tableaux for verifying stream authentication protocols

    Orgun M, Governatori G, Liu C

    Autonomous Agents and Multi-Agent Systems (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Dealing with contract violations: formalism and domain specific language

    Governatori G, Milosevic Z

    Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On managing business processes variants

    Lu R, Sadiq S, Governatori G

    Data & Knowledge Engineering (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Changing Legal Systems: Abrogation and Annulment Part II: Temporalised Defeasible Logic

    Governatori G, Rotolo A

    NorMAS (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On the Representation of Deadlines in a Rental Agreement

    Governatori G, Hulstijn J, Riveret R, Rotolo A

    Jurix (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Interaction between Normative Systems and Cognitive Agents in Temporal Modal Defeasible Logic

    Riveret R, Rotolo A, Governatori G

    Seminar

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Temporal Extensions to Defeasible Logic

    Governatori G, Terenziani P

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Characterising deadlines in temporal modal defeasible logic

    Governatori G, Hulstijn J, Riveret R, Rotolo A

    Australian AI (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modeling Control Objectives for Business Process Compliance

    Sadiq S, Governatori G, Naimiri K

    Business

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Detecting Regulatory Compliance for Business Process Models through Semantic Annotations

    Governatori G, Sadiq S, Weber I

    Business Process Design (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Defining Adaptation Constraints for Business Process Variants

    Lu R, Sadiq S, Governatori G, Yang X

    Electronic Engineering (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled Modal Tableaux

    Governatori G

    Advances in Modal Logic 6 (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A system for modal and deontic defeasible reasoning

    Antoniou G, Dimaresis N, Governatori G

    Proceedings of the 2008 ACM symposium on Applied computing - SAC '08 (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled Tableaux for Non-Normal Modal Logics

    Governatori G, Luppi A

    AI*IA (1999)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelling Ideality and Subideality

    Governatori G

    FAPR (1995)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modal Tableaux for Nonmonotonic Reasoning

    Artosi A, Governatori G

    SILFS (1998)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled Model Modal Logic

    Artosi A, Governatori G

    In Proceedings of the CADE12 Workshop on Automated Model Building, Nancy (1994)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • An Interaction Model for Affect Monitoring

    Song I, Governatori G, Colomb R

    Australian AI (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web

    Pothipruk P, Governatori G

    WISE (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On Constructing Fibred Tableaux for BDI Logics

    Padmanabhan V, Governatori G

    PRICAI (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled tableau for multi-modal logics

    Governatori G

    TABLEAUX (1995)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Affective Web Service Design

    Song I, Governatori G

    PRICAI (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Argumentation Semantics for Defeasible Logic

    Governatori G, Maher M, Antoniou G, Billington D

    Journal of Logic and Computation (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • FIPA Communicative Acts in Defeasible Logic

    Boella G, Governatori G, Hulstijn J, Riveret R, Rotolo A, van Der Torre L

    Seventh IJCAI InternationalWorkshop on Nonmonotonic Reasoning, Action and Change (NRAC’07) (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Nested rules in defeasible logic

    Song I, Governatori G

    RuleML (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Argumentation semantics for temporal defeasible logic

    Riveret R, Governatori G, Rotolo A

    Third European Starting AI Researcher Symposium (STAIRS (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Rule-based agents in temporalised defeasible logic

    Governatori G, Padmanabhan V, Rotolo A

    PRICAI (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Programming Cognitive Agents in Defeasible Logic

    Dastani M, Governatori G, Rotolo A, van Der Torre L

    LPAR (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • FIBRED MODAL TABLEAUX

    Gabbay D, Governatori G

    Labelled Deduction (1998)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Knowledge Assesment: A Modal Logic Approach

    Padmanabhan V, Governatori G, Su K

    3rd International Workshop on Knowledge and Reasoning for Answering Questions (KRAQ'07) (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Norm Modifications in Defeasible Logic

    Governatori G, Palmirani M, Riveret R, Rotolo A, Sartor G

    Jurix (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Labelled proofs for quantified modal logic

    Artosi A, Benassi P, Governatori G, Rotolo A

    Jelia (1996)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Computationally Grounded Model of BDI-Agents

    Su K, Sattar A, Wang K, Governatori G

    IJCAI (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Induction of defeasible logic theories in the legal domain

    Johnston B, Governatori G

    Proceedings of the 9th international conference on Artificial intelligence and law - ICAIL '03 (2003)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Modal tableaux for verifying security protocols

    Orgun M, Governatori G, Liu C

    FAMAS 2007 (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Ideality and subideality from a computational point of view

    Governatori G

    European Journal of Law Philosophy and Computer Science (1995)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies

    Skylogiannis T, Antoniou G, Bassiliades N, Governatori G

    2005 IEEE International Conference on e-Technology, e-Commerce and e-Service (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Probabilistic Automated Bidding in Multiple Auctions

    Dumas M, Aldred L, Governatori G, ter Hofstede A

    Electronic Commerce Research (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Towards a Computational Treatment of Deontic Defeasibility

    Artosi A, Governatori G, Sartor G

    Deon (1996)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Defeasible Logic: Agency, Intention and Obligation

    Governatori G, Rotolo A

    Deon (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Defeasible Description Logics

    Governatori G

    RuleML (2004)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Formal approach to negotiating agents development

    Dumas M, Governatori G, ter Hofstede A, Oaks P

    Electronic Commerce Research and Applications (2002)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Utilizing Successful Work Practice for Business Process Evolution

    Lu R, Sadiq S, Governatori G

    Business Information Systems (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Preferences of Agents in Defeasible Logic

    Dastani M, Governatori G, Rotolo A, van Der Torre L

    Australian AI (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A tableux system for Deontic Interpreted Systems

    Governatori G, Lomuscio A, Sergot M

    Australian AI (2003)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Observation-based Model for BDI-Agents

    Su K, Sattar A, Wang K, Luo X, Governatori G, Padmanabhan V

    AAAI (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A semantic web based architecture for e-contracts in defeasible logic

    Governatori G, Pham D

    RuleML (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Towards the application of association rules for defeasible rule discovery

    Governatori G, Stranieri A

    Jurix (2001)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Defeasible logic for automated negotiation

    Governatori G, ter Hofstede A, Oaks P

    Proceedings of CollECTeR. Deakin University (2000)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • An argumentation-theoretic characterization of defeasible logic

    Governatori G, Maher M

    ECAI (2000)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A formal approach to protocols and strategies for (legal) negotiation

    Governatori G, Dumas M, ter Hofstede A, Oaks P

    Proceedings of the 8th international conference on … (2001)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Temporalised normative positions in defeasible logic

    Governatori G, Rotolo A, Sartor G

    Proceedings of the 10th international conference on … (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Representing business contracts in RuleML

    Governatori G

    International Journal of Cooperative Information Systems (2005)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Proof explanation in the DR-DEVICE system

    Bassiliades N, Antoniou G, Governatori G

    Lecture Notes in Computer Science (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Measurement of Compliance Distance in Business Processes

    Lu R, Sadiq S, Governatori G

    Information Systems (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Proof Explanation for the Semantic Web Using Defeasible Logic

    Antoniou G, Bikakis A, Dimaresis N, Genetzakis M, Georgalis G, Governatori G et al.

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Variants of Temporal Defeasible Logics for Modelling Norm Modifications

    Governatori G, Rotolo A, Palmirani M, Sartor G

    Jurix (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems

    Antoniou G, Dimaresis N, Governatori G

    Expert Systems with Applications (2009)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Introduction to the Special Issue: Electronic Contract Architectures and Languages

    Bartolini C, Governatori G, Milosevic Z

    International Journal of Electronic Commerce (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Proof explanation for a nonmonotonic Semantic Web rules language

    Antoniou G, Bikakis A, Dimaresis N, Genetzakis M, Georgalis G, Governatori G et al.

    Data & Knowledge Engineering (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems

    Orgun M, Liu C, Governatori G

    2nd IEEE International Symposium on Dependable, Autonomic and Secure Computing (DASC’06) (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • On Extending RuleML for Modal Defeasible Logic

    Pham D, Governatori G, Raboczi S, Newman A, Thakur S

    RuleML (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Changing legal systems: Abrogation and annulment part I: Revision of defeasible theories

    Governatori G, Rotolo A

    Deon (2008)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Compliance checking between business processes and business contracts

    Governatori G, Milosevic Z, Sadiq S

    In Proc. 10th Intl. Enterprise Distributed Object Computing Conference, Hong Kong: IEEE (2006)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.
  • Strategic argumentation: A game theoretical investigation

    Roth B, Riveret R, Rotolo A, Governatori G

    ICAIL (2007)

    • -- Readers Readers not available. This publication is not currently accessible in the Mendeley catalog.

Professional experience

Research Leader

NICTA

November 2011 - Present

Principal Researcher

NICTA

July 2010 - Present

Associate Education Director

NICTA

September 2008 - Present

Lecturer

The University of Queensland, Australia

January 2002 - September 2008 (6 years 8 months)

Associate Lecturer

QUT

August 2000 - February 2002 (1 year 6 months)

Education history

CIRFID, Università degli Studi di Bologna

PhD, Informatica Giuridica

January 1994 - February 1997 (3 years 1 month)

Università degli Studi di Bologna - University of Bologna

Philosophy

September 1986 - July 1993 (6 years 10 months)