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...

Followers (13)

Following (9)

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)