Guido Governatori

Orcid: 0000-0002-9878-2762

Affiliations:
  • CSIRO, Data61, Melbourne, Australia


According to our database1, Guido Governatori authored at least 320 papers between 1994 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Encoding legislation: a methodology for enhancing technical validation, legal alignment and interdisciplinarity.
Artif. Intell. Law, June, 2024

Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law, June, 2024

Avoiding Pragmatic Oddity: a bottom-up Defeasible Deontic Logic.
J. Log. Comput., 2024

Traffic rules compliance checking of automated vehicle maneuvers.
Artif. Intell. Law, 2024

2023
Cross-Instance Regulatory Compliance Checking of Business Process Event Logs.
IEEE Trans. Software Eng., November, 2023

Driving Decision Making of Autonomous Vehicle According to Queensland Overtaking Traffic Rules.
Rev. Socionetwork Strateg., October, 2023

Patterns for legal compliance checking in a decidable framework of linked open data.
Artif. Intell. Law, September, 2023

The architecture of a reasoning system for Defeasible Deontic Logic.
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 27th International Conference KES-2023, 2023

Automating Business Process Compliance for the EU AI Act.
Proceedings of the Legal Knowledge and Information Systems, 2023

Stable Normative Explanations: From Argumentation to Deontic Logic.
Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Deontic Ambiguities in Legal Reasoning.
Proceedings of the Nineteenth International Conference on Artificial Intelligence and Law, 2023

Extraction of Defeasible Proofs as Explanations.
Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), 2023

2022
Explainable Reasoning with Legal Big Data: A Layered Framework.
FLAP, 2022

Business Process Modelling in Healthcare and Compliance Management: A Logical Framework.
FLAP, 2022

Enforcing ethical goals over reinforcement-learning policies.
Ethics Inf. Technol., 2022

Deontic Meta-Rules.
CoRR, 2022

Thirty years of Artificial Intelligence and Law: the first decade.
Artif. Intell. Law, 2022

From Defeasible Logic to Counterfactual Reasoning.
Proceedings of the Rules and Reasoning, 2022

Validation of Autonomous Vehicle Overtaking under Queensland Road Rules.
Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26, 2022

Inference to the Stable Explanations.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Stable Normative Explanations.
Proceedings of the Legal Knowledge and Information Systems, 2022

Taking stock of available technologies for compliance checking on first-order knowledge.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022

On the Use of the Conformance and Compliance Keywords During Verification of Business Processes.
Proceedings of the Business Process Management Forum, 2022

Houdini (unchained): An Effective Reasoner for Defeasible Logic.
Proceedings of the 6th Workshop on Advances in Argumentation in Artificial Intelligence 2022 co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022

2021
Synthesis of Regulation Compliant Business Processes.
IEEE Trans. Serv. Comput., 2021

Towards an efficient rule-based framework for legal reasoning.
Knowl. Based Syst., 2021

Computational Complexity of Compliance and Conformance: Drawing a Line Between Theory and Practice.
FLAP, 2021

Time, Defeasible Logic and Belief Revision: Pathways to Legal Dynamics.
FLAP, 2021

Strategic Argumentation.
FLAP, 2021

Large-scale Legal Reasoning with Rules and Databases.
FLAP, 2021

AI and Ethics - Operationalising Responsible AI.
CoRR, 2021

Proving Regulatory Compliance: A Computational Complexity Analysis of Elementary Variants.
CoRR, 2021

Compliance-aware engineering process plans: the case of space software engineering processes.
Artif. Intell. Law, 2021

Computing Private International Law.
Proceedings of the Legal Knowledge and Information Systems, 2021

Computing Defeasible Meta-logic.
Proceedings of the Logics in Artificial Intelligence - 17th European Conference, 2021

Converting copyright legislation into machine-executable code: interpretation, coding validation and legal alignment.
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

Unravel legal references in defeasible deontic logic.
Proceedings of the ICAIL '21: Eighteenth International Conference for Artificial Intelligence and Law, São Paulo Brazil, June 21, 2021

Semi-automated checking for regulatory compliance in e-Health.
Proceedings of the 25th International Enterprise Distributed Object Computing Workshop, 2021

A Defeasible Deontic Logic for Pragmatic Oddity.
Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

Is Free Choice Permission Admissible in Classical Deontic Logic?
Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

A Normative Supervisor for Reinforcement Learning Agents.
Proceedings of the Automated Deduction - CADE 28, 2021

2020
Business Process Full Compliance with Respect to a Set of Conditional Obligation in Polynomial Time.
CoRR, 2020

On the Formal Representation of the Australian Spent Conviction Scheme.
Proceedings of the Rules and Reasoning - 4th International Joint Conference, 2020

Free Choice Permission in Defeasible Deontic Logic.
Proceedings of the Legal Knowledge and Information Systems, 2020

Traffic Rules Encoding Using Defeasible Deontic Logic.
Proceedings of the Legal Knowledge and Information Systems, 2020

Verifying Compliance of Process Compositions Through Certification of its Components.
Proceedings of the 24th IEEE International Enterprise Distributed Object Computing Conference, 2020

Principles and Semantics: Modelling Violations for Normative Reasoning.
Proceedings of the AI Approaches to the Complexity of Legal Systems XI-XII, 2020

2019
Revision of defeasible preferences.
Int. J. Approx. Reason., 2019

Efficient Full Compliance Checking of Concurrent Components for business Process Models.
FLAP, 2019

Time and Compensation Mechanisms in Checking Legal Compliance.
FLAP, 2019

Applications of Linear Defeasible Logic: combining resource consumption and exceptions to energy management and business processes.
Proceedings of the Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, 2019

Information and friend segregation for online social networks: a user study.
AI Soc., 2019

An axiomatic characterization of temporalised belief revision in the law.
Artif. Intell. Law, 2019

A probabilistic argumentation framework for reinforcement learning agents - Towards a mentalistic approach to agent profiles.
Auton. Agents Multi Agent Syst., 2019

Non-monotonic Collective Decisions.
Proceedings of the PRIMA 2019: Principles and Practice of Multi-Agent Systems, 2019

A Computational Model for Pragmatic Oddity.
Proceedings of the Legal Knowledge and Information Systems, 2019

Legislative Dialogues with Incomplete Information.
Proceedings of the Legal Knowledge and Information Systems, 2019

Deontic Closure and Conflict in Legal Reasoning.
Proceedings of the Legal Knowledge and Information Systems, 2019

A Short Note on the Chisholm Paradox.
Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019), 2019

Legal Compliance in a Linked Open Data Framework.
Proceedings of the Legal Knowledge and Information Systems, 2019

A Methodology for Encoding Regulatory Rules.
Proceedings of the 4th International Workshop on MIning and REasoning with Legal texts co-located with the 32nd International Conference on Legal Knowledge and Information Systems (JURIX 2019), 2019

Automatic Extraction of Legal Norms: Evaluation of Natural Language Processing Tools.
Proceedings of the New Frontiers in Artificial Intelligence, 2019

Advancements in Resource-Driven Substructural Defeasible Logic.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Modelling Dialogues for Optimal Legislation.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law, 2019

Checking Regulatory Compliance: Will We Live to See It?
Proceedings of the Business Process Management - 17th International Conference, 2019

2018
Blockchains for Business Process Management - Challenges and Opportunities.
ACM Trans. Manag. Inf. Syst., 2018

Are we done with business process compliance: state of the art and challenges ahead.
Knowl. Inf. Syst., 2018

Sequence Semantics for Modelling Reason-based Preferences.
Fundam. Informaticae, 2018

A labelling framework for probabilistic argumentation.
Ann. Math. Artif. Intell., 2018

RuleRS: a rule-based architecture for decision support systems.
Artif. Intell. Law, 2018

Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation.
Artif. Intell. Law, 2018

On legal contracts, imperative and declarative smart contracts, and blockchain systems.
Artif. Intell. Law, 2018

Research in progress: report on the ICAIL 2017 doctoral consortium.
Artif. Intell. Law, 2018

Practical Normative Reasoning with Defeasible Deontic Logic.
Proceedings of the Reasoning Web. Learning, Uncertainty, Streaming, and Scalability, 2018

Modal Rules: Extending Defeasible Logic with Modal Operators.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

Resource-Driven Substructural Defeasible Logic.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

A Deontic Argumentation Framework Based on Deontic Defeasible Logic.
Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Sending Messages in Social Networks.
Proceedings of the Agents and Multi-Agent Systems: Technologies and Applications 2018, 2018

Modelling Legal Knowledge for GDPR Compliance Checking.
Proceedings of the Legal Knowledge and Information Systems, 2018

Legal Representation and Reasoning in Practice: A Critical Comparison.
Proceedings of the Legal Knowledge and Information Systems, 2018

Lessons Learned while Formalizing ISO 26262 for Compliance Checking.
Proceedings of the 2nd Workshop on Technologies for Regulatory Compliance co-located with the 31st International Conference on Legal Knowledge and Information Systems (JURIX 2018), 2018

Dialogues on Moral Theories.
Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

2017
Annotated defeasible logic.
Theory Pract. Log. Program., 2017

A Labelling Framework for Probabilistic Argumentation.
CoRR, 2017

RuleML (Web Rule Symposium) 2016 Report.
AI Mag., 2017

Temporalised Belief Revision in the Law.
Proceedings of the Legal Knowledge and Information Systems, 2017

A Short Introduction to the Regorous Compliance by Design Methodology.
Proceedings of the 1st Workshop on Technologies for Regulatory Compliance co-located with the 30th International Conference on Legal Knowledge and Information Systems (JURIX 2017), 2017

Normative Requirements as Linked Data.
Proceedings of the Legal Knowledge and Information Systems, 2017

Visualisation of Compliant Declarative Business Processes.
Proceedings of the 21st IEEE International Enterprise Distributed Object Computing Conference, 2017

Declarative Approaches for Compliance by Design.
Proceedings of the Service Research and Innovation - 5th and 6th Australasian Symposium, 2017

Combining Natural Language Processing Approaches for Rule Extraction from Legal Documents.
Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

2016
The rationale behind the concept of goal.
Theory Pract. Log. Program., 2016

Normative requirements for regulatory compliance: An abstract formal framework.
Inf. Syst. Frontiers, 2016

A policy-based B2C e-Contract management workflow methodology using semantic web agents.
Artif. Intell. Law, 2016

Evaluation of Logic-Based Smart Contracts for Blockchain Systems.
Proceedings of the Rule Technologies. Research, Tools, and Applications, 2016

Sequence Semantics for Normative Agents.
Proceedings of the PRIMA 2016: Princiles and Practice of Multi-Agent Systems, 2016

On the Justification of Statements in Argumentation-based Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Interpretation Across Legal Systems.
Proceedings of the Legal Knowledge and Information Systems, 2016

Semantic Business Process Regulatory Compliance Checking Using LegalRuleML.
Proceedings of the Knowledge Engineering and Knowledge Management, 2016

On Labelling Statements in Multi-Labelling Argumentation.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Sequence Semantics for Norms and Obligations.
Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

On ASPIC<sup>+</sup> and Defeasible Logic.
Proceedings of the Computational Models of Argument, 2016

Untrusted Business Process Monitoring and Execution Using Blockchain.
Proceedings of the Business Process Management - 14th International Conference, 2016

On Learning Attacks in Probabilistic Abstract Argumentation.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Managing Regulatory Compliance in Business Processes.
Proceedings of the Handbook on Business Process Management 2, 2015

Business Process Regulatory Compliance is Hard.
IEEE Trans. Serv. Comput., 2015

Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems.
Scalable Comput. Pract. Exp., 2015

Algorithms for tractable compliance problems.
Frontiers Comput. Sci., 2015

LegalRuleML: Design Principles and Foundations.
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015

Compliant Business Processes with Exclusive Choices from Agent Specification.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Semantics for Modelling Reason-Based Preferences.
Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

Permissions in Deontic Event-Calculus.
Proceedings of the Legal Knowledge and Information Systems, 2015

Burden of Compliance and Burden of Violation.
Proceedings of the Legal Knowledge and Information Systems, 2015

Deontic defeasible reasoning in legal interpretation: two options for modelling interpretive arguments.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

RuleOMS: a rule-based online management system.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

Thou shalt is not you will.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

No Time for Compliance.
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Conference, 2015

Message from the EVL-BP 2015 Workshop Co-Chairs.
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Workshop, 2015

The Regorous Approach to Process Compliance.
Proceedings of the 19th IEEE International Enterprise Distributed Object Computing Workshop, 2015

Logics for Legal Dynamics.
Proceedings of the Logic in the Theory and Practice of Lawmaking, 2015

2014
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII).
J. Log. Comput., 2014

ICT Support for Regulatory Compliance of Business Processes.
CoRR, 2014

Checking Licenses Compatibility between Vocabularies and Data.
Proceedings of the 5th International Workshop on Consuming Linked Data (COLD 2014) co-located with the 13th International Semantic Web Conference (ISWC 2014), 2014

LIVE: a Tool for Checking Licenses Compatibility between Vocabularies and Data.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data.
Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference, 2014

Modeling Obligations with Event-Calculus.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

The Hardness of Revising Defeasible Preferences.
Proceedings of the Rules on the Web. From Theory to Applications, 2014

On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic.
Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

Two Faces of Strategic Argumentation in the Law.
Proceedings of the Legal Knowledge and Information Systems, 2014

Legal Interpretations in LegalRuleML.
Proceedings of the Semantic Web for the Law and Second Doctoral Consortium Workshops Co-located with 27th International Conference on Legal Knowledge and Information Systems, 2014

Strategic Argumentation Under Grounded Semantics is NP-Complete.
Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Social Interaction Based Audience Segregation for Online Social Networks.
Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Strategic Argumentation is NP-Complete.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Detecting Deontic Conflicts in Dynamic Settings.
Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

A Preference-Based Semantics for CTD Reasoning.
Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

2013
Towards a model of UAVs navigation in urban canyon through defeasible logic.
J. Log. Comput., 2013

Computing Strong and Weak Permissions in Defeasible Logic.
J. Philos. Log., 2013

Business Process Compliance: An Abstract Normative Framework.
it Inf. Technol., 2013

One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data.
Proceedings of the Semantic Web - ISWC 2013, 2013

A Study on Translating Regulatory Rules from Natural Language to Defeasible Logics.
Proceedings of the Joint Proceedings of the 7th International Rule Challenge, 2013

Computing Temporal Defeasible Logic.
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

Picking Up the Best Goal - An Analytical Study in Defeasible Logic.
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

LegalRuleML: From Metamodel to Use Cases - (A Tutorial).
Proceedings of the Theory, Practice, and Applications of Rules on the Web, 2013

A Methodology for Plan Revision under Norm and Outcome Compliance.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Compliant Business Process Design by Declarative Specifications.
Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

Heuristics for Licenses Composition.
Proceedings of the Legal Knowledge and Information Systems, 2013

Algorithms for Basic Compliance Problems.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Regorous: a business process compliance checker.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Legal contractions: a logical analysis.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

OASIS LegalRuleML.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Towards an Abstract Framework for Compliance.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference Workshops, 2013


Normative Requirements for Business Process Compliance.
Proceedings of the Service Research and Innovation - Third Australian Symposium, 2013

A Methodological Evaluation of Business Process Compliance Management Frameworks.
Proceedings of the Asia Pacific Business Process Management, 2013

2012
On compliance checking for clausal constraints in annotated process models.
Inf. Syst. Frontiers, 2012

Normative Multi-Agent Systems (Dagstuhl Seminar 12111).
Dagstuhl Reports, 2012

Revision of Defeasible Logic Preferences
CoRR, 2012

An implicit approach to deal with periodically repeated medical data.
Artif. Intell. Medicine, 2012

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law.
Artif. Intell. Law, 2012

Business Process Data Compliance.
Proceedings of the Rules on the Web: Research and Applications, 2012

Rule Based Business Process Compliance.
Proceedings of the RuleML2012@ECAI Challenge, 2012

Narrowing Legal Concepts.
Proceedings of the Legal Knowledge and Information Systems, 2012

Possible World Semantics for Defeasible Deontic Logic.
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Distributed Defeasible Speculative Reasoning in Ambient Environment.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012

On modeling punishment in multi-agent systems.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Special issue on logics for intelligent agents and multi-agent systems.
J. Appl. Log., 2011

Time and defeasibility in FIPA ACL semantics.
J. Appl. Log., 2011

Levels of modality for BDI Logic.
J. Appl. Log., 2011

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web.
Int. J. Semantic Web Inf. Syst., 2011

A modelling and reasoning framework for social networks policies.
Enterp. Inf. Syst., 2011

LegalRuleML: XML-Based Rules and Norms.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

Designing for Compliance: Norms and Goals.
Proceedings of the Rule-Based Modeling and Computing on the Semantic Web, 2011

Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2011

What Are the Necessity Rules in Defeasible Reasoning?
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Three Concepts of Defeasible Permission.
Proceedings of the Legal Knowledge and Information Systems, 2011

Incorporating Temporal Planning Within a BDI Architecture.
Proceedings of the 5th Indian International Conference on Artificial Intelligence, 2011

Approximate Record Matching Using Hash Grams.
Proceedings of the Data Mining Workshops (ICDMW), 2011

Modelling temporal legal rules.
Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

On the relationship between Carneades and Defeasible Logic.
Proceedings of the 13th International Conference on Artificial Intelligence and Law, 2011

Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance.
Proceedings of the Computational Logic in Multi-Agent Systems, 2011

Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts.
Proceedings of the Advanced Data Mining and Applications - 7th International Conference, 2011

2010
An inclusion theorem for defeasible logics.
ACM Trans. Comput. Log., 2010

Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments.
IEEE Trans. Knowl. Data Eng., 2010

Changing legal systems: legal abrogations and annulments in Defeasible Logic.
Log. J. IGPL, 2010

On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic.
Proceedings of the Semantic Web Rules - International Symposium, 2010

A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web.
Proceedings of the Semantic Web Rules - International Symposium, 2010

SBVR based Business Contract and Business Rule IDE.
Proceedings of the RuleML-2010 Challenge, 2010

Transformation of SBVR Compliant Business Rules to Executable FCL Rules.
Proceedings of the Semantic Web Rules - International Symposium, 2010

Norm Compliance in Business Process Modeling.
Proceedings of the Semantic Web Rules - International Symposium, 2010

Superiority Based Revision of Defeasible Theories.
Proceedings of the Semantic Web Rules - International Symposium, 2010

Law, logic and business processes.
Proceedings of the Third International Workshop on Requirements Engineering and Law, 2010

Towards an implicit treatment of periodically-repeated medical data.
Proceedings of the MEDINFO 2010, 2010

A Logical Understanding of Legal Interpretation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Temporal Dimensions in Rules Modelling.
Proceedings of the Legal Knowledge and Information Systems, 2010

Burdens of Proof in Monological Argumentation.
Proceedings of the Legal Knowledge and Information Systems, 2010

Automatic synthesis of reactive agents.
Proceedings of the 11th International Conference on Control, 2010

A conceptually rich model of business process compliance.
Proceedings of the Conceptual Modelling 2010, 2010

2009
Extended Defeasible Reasoning for Common Goals in n-Person Argumentation Games.
J. Univers. Comput. Sci., 2009

DR-CONTRACT: an architecture for e-contracts in defeasible logic.
Int. J. Bus. Process. Integr. Manag., 2009

A defeasible logic for modelling policy-based intentions and motivational attitudes.
Log. J. IGPL, 2009

A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems.
Expert Syst. Appl., 2009

On managing business processes variants.
Data Knowl. Eng., 2009

Modal tableaux for verifying stream authentication protocols.
Auton. Agents Multi Agent Syst., 2009

A Model to Coordinate UAVs in Urban Environments Using Defeasible Logic.
Proceedings of the 3rd International RuleML-2009 Challenge, 2009

The Making of SPINdle.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain.
Proceedings of the Rule Interchange and Applications, International Symposium, 2009

<i>Lex Minus Dixit Quam Voluit</i>, <i>Lex Magis</i><i> Dixit Quam Voluit</i>: A Formal Study on Legal Compliance and Interpretation.
Proceedings of the AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue, 2009

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning.
Proceedings of the New Frontiers in Artificial Intelligence, 2009

Modelling and Reasoning Languages for Social Networks Policies.
Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference, 2009

How Do Agents Comply with Norms?
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Defining Adaptation Constraints for Business Process Variants.
Proceedings of the Business Information Systems, 12th International Conference, 2009

The Journey to Business Process Compliance.
Proceedings of the Handbook of Research on Business Process Modeling., 2009

2008
Measurement of Compliance Distance in Business Processes.
Inf. Syst. Manag., 2008

Introduction to the Special Issue: Electronic Contract Architectures and Languages.
Int. J. Electron. Commer., 2008

Proof explanation for a nonmonotonic Semantic Web rules language.
Data Knowl. Eng., 2008

A computational framework for institutional agency.
Artif. Intell. Law, 2008

BIO logical agents: Norms, beliefs, intentions in defeasible logic.
Auton. Agents Multi Agent Syst., 2008

A system for modal and deontic defeasible reasoning.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

On Extending RuleML for Modal Defeasible Logic.
Proceedings of the Rule Representation, 2008

Settling on the Group's Goals: An n-Person Argumentation Game Approach.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Knowledge Assessment: A Modal Logic Approach.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Changing Legal Systems: Abrogation and Annulment. Part II: Temporalised Defeasible Logic.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

A Compliance Model of Trust.
Proceedings of the Legal Knowledge and Information Systems, 2008

An Algorithm for Business Process Compliance.
Proceedings of the Legal Knowledge and Information Systems, 2008

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

Levels of Modalities for BDI Logic.
Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2008

Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories.
Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

Detecting Regulatory Compliance for Business Process Models through Semantic Annotations.
Proceedings of the Business Process Management Workshops, 2008

Labelled modal tableaux.
Proceedings of the Advances in Modal Logic 7, 2008

2007
DR-NEGOTIATE - A system for automated agent negotiation with defeasible logic-based strategies.
Data Knowl. Eng., 2007

Proof Explanation in the DR-DEVICE System.
Proceedings of the Web Reasoning and Rule Systems, First International Conference, 2007

An Asymmetric Protocol for Argumentation Games in Defeasible Logic.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Contextual Agent Deliberation in Defeasible Logic.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007


On the Representation of Deadlines in a Rental Agreement.
Proceedings of the Legal Knowledge and Information Systems, 2007

Strategic argumentation: a game theoretical investigation.
Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Variants of temporal defeasible logics for modelling norm modifications.
Proceedings of the Eleventh International Conference on Artificial Intelligence and Law, 2007

Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Modeling Control Objectives for Business Process Compliance.
Proceedings of the Business Process Management, 5th International Conference, 2007

Compliance Aware Business Process Design.
Proceedings of the Business Process Management Workshops, 2007

Dialogue Games in Defeasible Logic.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Temporal Extensions to Defeasible Logic.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Characterising Deadlines in Temporal Modal Defeasible Logic.
Proceedings of the AI 2007: Advances in Artificial Intelligence, 2007

Contextual deliberation of cognitive agents in defeasible logic.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006
Embedding defeasible logic into logic programming.
Theory Pract. Log. Program., 2006

A Formal Analysis of a Business Contract Language.
Int. J. Cooperative Inf. Syst., 2006

A Compact Argumentation System for Agent System Specification.
Proceedings of the STAIRS 2006, 2006

Argumentation Semantics for Temporal Defeasible Logic.
Proceedings of the STAIRS 2006, 2006

Affective Web Service Design.
Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

On Constructing Fibred Tableaux for BDI Logics.
Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

Rule-Based Agents in Temporalised Defeasible Logic.
Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

Compliance checking between business processes and business contracts.
Proceedings of the Tenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2006), 2006

Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.
Proceedings of the Second International Symposium on Dependable Autonomic and Secure Computing (DASC 2006), 29 September, 2006

A Fibred Tableau Calculus for Modal Logics of Agents.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Utilizing Successful Work Practice for Business Process Evolution.
Proceedings of the Business Information Systems, 2006

Hardware Implementation of Temporal Nonmonotonic Logics.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

<i>ALE</i> Defeasible Description Logic.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Designing agent chips.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

The cost of social agents.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Process modelling: the deontic way.
Proceedings of the Conceptual Modelling 2006, 2006

Handling of current time in native XML databases.
Proceedings of the Database Technologies 2006, 2006

An optimization for query answering on <i>ALC</i> database.
Proceedings of the Database Technologies 2006, 2006

Using a temporal constraint network for business process execution.
Proceedings of the Database Technologies 2006, 2006

2005
On the Axiomatisation of Elgesem's Logic of Agency and Ability.
J. Philos. Log., 2005

Guest editors' introduction.
Int. J. Cooperative Inf. Syst., 2005

Representing business contracts in <i>RuleML</i>.
Int. J. Cooperative Inf. Syst., 2005

Probabilistic Automated Bidding in Multiple Auctions.
Electron. Commer. Res., 2005

A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web.
Proceedings of the Web Information Systems Engineering, 2005

Nested Rules in Defeasible Logic.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

A Semantic Web Based Architecture for e-Contracts in Defeasible Logic.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web, 2005

Programming Cognitive Agents in Defeasible Logic.
Proceedings of the Logic for Programming, 2005

Norm Modifications in Defeasible Logic.
Proceedings of the Legal Knowledge and Information Systems, 2005

Computationally Grounded Model of BDI-Agents.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Temporalised Normative Positions in Defeasible Logic.
Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies.
Proceedings of the 2005 IEEE International Conference on e-Technology, e-Commerce, and e-Services (EEE 2005), 29 March, 2005

Dealing with contract violations: formalism and domain specific language.
Proceedings of the Ninth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2005), 2005

Preferences of Agents in Defeasible Logic.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

A computationally grounded logic of knowledge, belief and certainty.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Observation-based Model for BDI-Agents.
Proceedings of the Proceedings, 2005

2004
Argumentation Semantics for Defeasible Logic.
J. Log. Comput., 2004

Normative autonomy and normative co-ordination: Declarative power, representation, and mandate.
Artif. Intell. Law, 2004

Defeasible Description Logics.
Proceedings of the Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, 2004

Defeasible Logic: Agency, Intention and Obligation.
Proceedings of the Deontic Logic in Computer Science, 2004

An Interaction Model for Affect Monitoring.
Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

A Model of Dynamic Resource Allocation in Workflow Systems.
Proceedings of the Database Technologies 2004, 2004

Representing and Reasoning on XForms Document.
Proceedings of the Database Technologies 2004, 2004

2003
On the Relative Complexity of Labelled Modal Tableaux.
Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Induction of Defeasible Logic Theories in the Legal Domain.
Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

A Defeasible Logic of Policy-Based Intention.
Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

A Tableaux System for Deontic Interpreted Systems.
Proceedings of the AI 2003: Advances in Artificial Intelligence, 2003

An algorithm for the induction of defeasible logic theories from databases.
Proceedings of the Database Technologies 2003, 2003

2002
Labelled Tableaux for Nonmonotonic Reasoning: Cumulative Consequence Relations.
J. Log. Comput., 2002

A formal approach to negotiating agents development.
Electron. Commer. Res. Appl., 2002

A probabilistic approach to automated bidding in alternative auctions.
Proceedings of the Eleventh International World Wide Web Conference, 2002

An Architecture for Assembling Agents that Participate in Alternative Heterogeneous Auctions.
Proceedings of the 12th International Workshop on Research Issues in Data Engineering: Engineering E-Commerce/E-Business Systems, 2002

On Fibring Semantics for BDI Logics.
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

A Defeasible Logic of Policy-Based Intention.
Proceedings of the AI 2002: Advances in Artificial Intelligence, 2002

2001
Representation results for defeasible logic.
ACM Trans. Comput. Log., 2001

A formal approach to legal negotiation.
Proceedings of the Eigths International Conference on Artificial Intelligence and Law, 2001

Actions Made Explicit in BDI.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000
A tableau methodology for deontic conditional logics
CoRR, 2000

A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

Argumentation Semantics for Defeasible Logics.
Proceedings of the PRICAI 2000, Topics in Artificial Intelligence, 6th Pacific Rim International Conference on Artificial Intelligence, Melbourne, Australia, August 28, 2000

An Argumentation-Theoretic Characterization of Defeasible Logic.
Proceedings of the ECAI 2000, 2000

A Family of Defeasible Reasoning Logics and its Implementation.
Proceedings of the ECAI 2000, 2000

A Flexible Framework for Defeasible Logics.
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

1999
A Comparison of Sceptical NAF-Free Logic Programming Approaches.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Revising Nonmonotonic Theories: The Case of Defeasible Logic.
Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

A New Approach to Base Revision.
Proceedings of the Progress in Artificial Intelligence, 1999

Analytic Modal Revision for Multi-agent Systems.
Proceedings of the Progress in Artificial Intelligence, 1999

Labelled Tableaux for Non-normal Modal Logics.
Proceedings of the AI*IA 99:Advances in Artificial Intelligence, 1999

A Semantic Decomposition of Defeasible Logics.
Proceedings of the Sixteenth National Conference on Artificial Intelligence and Eleventh Conference on Innovative Applications of Artificial Intelligence, 1999

1997
A Modal Computational Framework for Default Reasoning.
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

1996
Labelled Proofs for Quantified Modal Logic.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Labelling Ideality and Subideality.
Proceedings of the Practical Reasoning, 1996

Towards a Computational Treatment of Deontic Defeasibility.
Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

Shakespearian Modal Logic: A Labelled Treatment of Modal Identity.
Proceedings of the Advances in Modal Logic 1, 1996

1995
Labelled Tableaux for Multi-Modal Logics.
Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

A Prolog Implementation of Kem.
Proceedings of the 1995 Joint Conference on Declarative Programming, 1995

1994
KED: A Deontic Theorem Prover.
Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994


  Loading...