$\mathcal{ALE}$ Defeasible Description Logic

A Comparison of Sceptical NAF-Free Logic Programming Approaches

A Contract Agreement Policy-Based Workflow Methodology for Agents Interacting in the Semantic Web

A Defeasible Logic of Policy-Based Intention

A Defeasible Logic of Policy-Based Intention (Extended Abstract)

A FORMAL ANALYSIS OF A BUSINESS CONTRACT LANGUAGE

A Fibred Tableau Calculus for Modal Logics of Agents

A Formal Ontology Reasoning with Individual Optimization: A Realization of the Semantic Web

A Framework for Utilizing Preferred Work Practice for Business Process Evolution

A Labelled Tableau Calculus for Nonmonotonic (Cumulative) Consequence Relations

A Methodological Evaluation of Business Process Compliance Management Frameworks

A Methodology for Plan Revision under Norm and Outcome Compliance

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

scholarly article

A Modal Defeasible Reasoner of Deontic Logic for the Semantic Web

article by Efstratios Kontopoulos et al published January 2011 in International Journal on Semantic Web and Information Systems

A New Approach to Base Revision

A Normative Supervisor for Reinforcement Learning Agents

artículo científico publicado en 2021

A Preference-Based Semantics for CTD Reasoning

A Semantic Web Based Architecture for e-Contracts in Defeasible Logic

article by Guido Governatori & Duy Pham Hoang published 2005 in Lecture Notes in Computer Science

A System for Modal and Deontic Defeasible Reasoning

A Tableaux System for Deontic Interpreted Systems

A computational framework for institutional agency

article published in 2008

A computationally grounded logic of knowledge, belief and certainty

A defeasible logic for modelling policy-based intentions and motivational attitudes

A formal approach to negotiating agents development

article

A formal approach to protocols and strategies for (legal) negotiation

A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law

A modal and deontic defeasible reasoning system for modelling policies and multi-agent systems

A modal computational framework for default reasoning

A modelling and reasoning framework for social networks policies

A policy-based B2C e-Contract management workflow methodology using semantic web agents

A probabilistic approach to automated bidding in alternative auctions

A probabilistic approach to automated bidding in alternative auctions

A system for modal and deontic defeasible reasoning

Actions Made Explicit in BDI

Affective Web Service Design

Affective Web Service Design

scholarly article

Agent Computing and Multi-Agent Systems

Agents in Principle, Agents in Practice

Algorithms for Basic Compliance Problems

scholarly article published March 2013

Algorithms for tractable compliance problems

An Asymmetric Protocol for Argumentation Games in Defeasible Logic

An Interaction Model for Affect Monitoring

article

An implicit approach to deal with periodically repeated medical data

artículo científico publicado en 2012

An inclusion theorem for defeasible logics

Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems

Analytic Modal Revision for Multi-agent Systems

Approximate Record Matching Using Hash Grams

Argumentation Semantics for Defeasible Logic

article published in 2004

Automatic synthesis of reactive agents

BIO logical agents: Norms, beliefs, intentions in defeasible logic

article

Blockchains for Business Process Management - Challenges and Opportunities

Business Process Compliance: An Abstract Normative Framework

Business Process Data Compliance

article by Mustafa Hashmi et al published 2012 in Lecture Notes in Computer Science

Business Process Regulatory Compliance is Hard

Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories

Changing legal systems: legal abrogations and annulments in Defeasible Logic

Characterising Deadlines in Temporal Modal Defeasible Logic

Compliance Aware Business Process Design

article by Ruopeng Lu et al published 2008 in Lecture Notes in Computer Science

Compliance checking between business processes and business contracts

Compliant Business Process Design by Declarative Specifications

article by Francesco Olivieri et al published 2013 in Lecture Notes in Computer Science

Compliant Business Processes with Exclusive Choices from Agent Specification

Computational Logic in Multi-Agent Systems

Computational Logic in Multi-Agent Systems

Computing Strong and Weak Permissions in Defeasible Logic

Computing Temporal Defeasible Logic

Contextual Agent Deliberation in Defeasible Logic

Contextual deliberation of cognitive agents in defeasible logic

DR-CONTRACT: an architecture for e-contracts in defeasible logic

article by Guido Governatori et al published 2009 in International Journal of Business Process Integration and Management

DR-NEGOTIATE - A System for Automated Agent Negotiation with Defeasible Logic-Based Strategies

DR-NEGOTIATE – A system for automated agent negotiation with defeasible logic-based strategies

Dealing with contract violations: formalism and domain specific language

Declarative Approaches for Compliance by Design

Defeasible Description Logics

Defeasible Logic: Agency, Intention and Obligation

Defining Adaptation Constraints for Business Process Variants

Deontic Logic in Computer Science

Deontic defeasible reasoning in legal interpretation

Designing agent chips

Designing for Compliance: Norms and Goals

Detecting Deontic Conflicts in Dynamic Settings

Detecting Regulatory Compliance for Business Process Models through Semantic Annotations

Dialogue Games in Defeasible Logic

Distributed Defeasible Speculative Reasoning in Ambient Environment

article published in 2012

Embedding defeasible logic into logic programming

Evaluation of Logic-Based Smart Contracts for Blockchain Systems

Extending a Defeasible Reasoner with Modal and Deontic Logic Operators

scholarly article published December 2008

Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms

Fibred Modal Tableaux

GUEST EDITORS' INTRODUCTION

Guest Editors' Introduction: Rule Representation, Interchange, and Reasoning in Distributed, Heterogeneous Environments

Hardware Implementation of Temporal Nonmonotonic Logics

How Do Agents Comply with Norms?

Implementing Temporal Defeasible Logic for Modeling Legal Reasoning

Induction of defeasible logic theories in the legal domain

Influence of indoor airflow on particle spread of a single breath and cough in enclosures: Does opening a window really ‘help’?

artículo científico publicado en 2022

Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems

Introduction to the Special Issue: Electronic Contract Architectures and Languages

article by Claudio Bartolini et al published July 2008 in International Journal of Electronic Commerce

Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance

article by Guido Governatori & Antonino Rotolo published 2011 in Lecture Notes in Computer Science

Knowledge Assessment: A Modal Logic Approach

LIVE: a Tool for Checking Licenses Compatibility between Vocabularies and Data

artículo científico publicado en 2014

Labelled Tableaux for Non-Normal Modal Logics

Labelled proofs for quantified modal logic

Labelled tableaux for multi-modal logics

Labelling ideality and subideality

Law, logic and business processes

Layered argumentation for Fuzzy automation controllers

Legal contractions

LegalRuleML: Design Principles and Foundations

article by Tara Athan et al published 2015 in Lecture Notes in Computer Science

LegalRuleML: From Metamodel to Use Cases

LegalRuleML: XML-Based Rules and Norms

Levels of Modalities for BDI Logic

Levels of modality for BDI Logic

Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation

Licentia: a Tool for Supporting Users in Data Licensing on the Web of Data

artículo científico publicado en 2014

Logics for Legal Dynamics

article

Logics in Artificial Intelligence

Managing Regulatory Compliance in Business Processes

Managing Regulatory Compliance in Business Processes

Measurement of Compliance Distance in Business Processes

Message from the EVL-BP 2015 Workshop Co-Chairs

Modal tableaux for verifying stream authentication protocols

Modeling Control Objectives for Business Process Compliance

Modeling Obligations with Event-Calculus

Modelling and Reasoning Languages for Social Networks Policies

Modelling temporal legal rules

Nested Rules in Defeasible Logic

No Time for Compliance

article published in 2015

Norm Compliance in Business Process Modeling

article published in 2010

Normative Requirements for Business Process Compliance

article published in 2014

Normative autonomy and normative co-ordination: Declarative power, representation, and mandate

Normative requirements for regulatory compliance: An abstract formal framework

Norms modeling constructs of business process compliance management frameworks: a conceptual evaluation

OASIS LegalRuleML

On Constructing Fibred Tableaux for BDI Logics

article

On Constructing Fibred Tableaux for BDI Logics

On Extending RuleML for Modal Defeasible Logic

On Fibring Semantics for BDI Logics

On compliance checking for clausal constraints in annotated process models

article

On managing business processes variants

On the Axiomatisation of Elgesem's Logic of Agency and Ability

On the Equivalence of Defeasible Deontic Logic and Temporal Defeasible Logic

article published in 2014

On the Problem of Computing Ambiguity Propagation and Well-Founded Semantics in Defeasible Logic

On the Relative Complexity of Labelled Modal Tableaux

On the relationship between Carneades and Defeasible Logic

One License to Compose Them All

article published in 2013

One License to Compose Them All - A Deontic Logic Approach to Data Licensing on the Web of Data

artículo científico publicado en 2013

Ontology Guided Data Linkage Framework for Discovering Meaningful Data Facts

PRIMA 2014: Principles and Practice of Multi-Agent Systems

Picking Up the Best Goal

Possible World Semantics for Defeasible Deontic Logic

Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIII)

Preferences of Agents in Defeasible Logic

Probabilistic Automated Bidding in Multiple Auctions

Programming Cognitive Agents in Defeasible Logic

article published in 2005

Proof Explanation for the Semantic Web Using Defeasible Logic

Proof Explanation in the DR-DEVICE System

Proof explanation for a nonmonotonic Semantic Web rules language

REPRESENTING BUSINESS CONTRACTS IN RuleML

Regorous

Representation results for defeasible logic

Research in progress: report on the ICAIL 2017 doctoral consortium

Rule Interchange and Applications

Rule Representation, Interchange and Reasoning on the Web

Rule Technologies. Research, Tools, and Applications

Rule-Based Agents in Temporalised Defeasible Logic

article

Rule-Based Agents in Temporalised Defeasible Logic

Rule-Based Reasoning, Programming, and Applications

RuleOMS

RuleRS: a rule-based architecture for decision support systems

Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain

Semantic Business Process Regulatory Compliance Checking Using LegalRuleML

Semantics for Modelling Reason-Based Preferences

article by Erica Calardo et al published 2015 in Lecture Notes in Computer Science

Sequence Semantics for Normative Agents

Settling on the Group’s Goals: An n-Person Argumentation Game Approach

Special issue on logics for intelligent agents and multi-agent systems

Strategic Argumentation Under Grounded Semantics is NP-Complete

article by Guido Governatori et al published 2015 in Lecture Notes in Computer Science

Strategic argumentation

Superiority Based Revision of Defeasible Theories

Temporal Extensions to Defeasible Logic

Temporalised normative positions in defeasible logic

article published in 2005

The Hardness of Revising Defeasible Preferences

The Journey to Business Process Compliance

article

The Journey to Business Process Compliance

The Making of SPINdle

The Regorous Approach to Process Compliance

The cost of social agents

The rationale behind the concept of goal ⬇️

Thou shalt is not you will

Time and Defeasibility in FIPA ACL Semantics

Time and defeasibility in FIPA ACL semantics

Towards a Computational Treatment of Deontic Defeasibility

Towards a model of UAVs navigation in urban canyon through defeasible logic

article

Towards an Abstract Framework for Compliance

Transformation of SBVR Compliant Business Rules to Executable FCL Rules

Untrusted Business Process Monitoring and Execution Using Blockchain

Variants of temporal defeasible logics for modelling norm modifications

What Are the Necessity Rules in Defeasible Reasoning?