Guido Governatori

According to our database1, Guido Governatori authored at least 263 papers between 1994 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Blockchains for Business Process Management - Challenges and Opportunities.
ACM Trans. Management 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. Inform., 2018

Resource-driven Substructural Defeasible Logic.
CoRR, 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

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

2017
Annotated defeasible logic.
TPLP, 2017

A Labelling Framework for Probabilistic Argumentation.
CoRR, 2017

Blockchains for Business Process Management - Challenges and Opportunities.
CoRR, 2017

Annotated Defeasible Logic.
CoRR, 2017

RuleML (Web Rule Symposium) 2016 Report.
AI Magazine, 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

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.
TPLP, 2016

Normative requirements for regulatory compliance: An abstract formal framework.
Information Systems 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+ 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. Services Computing, 2015

Introduction to the Special Issue on Principles and Practices in Multi-Agent Systems.
Scalable Computing: Practice and Experience, 2015

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

The Rationale behind the Concept of Goal.
CoRR, 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

Thou Shalt is not You Will.
CoRR, 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. Philosophical Logic, 2013

Business Process Compliance: An Abstract Normative Framework.
it - Information Technology, 2013

Strategic Argumentation is NP-Complete.
CoRR, 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.
Information Systems Frontiers, 2012

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

Computing Strong and Weak Permissions in Defeasible Logic
CoRR, 2012

Revision of Defeasible Logic Preferences
CoRR, 2012

An implicit approach to deal with periodically repeated medical data.
Artificial Intelligence in 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. Applied Logic, 2011

Time and defeasibility in FIPA ACL semantics.
J. Applied Logic, 2011

Levels of modality for BDI Logic.
J. Applied Logic, 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.
Enterprise IS, 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.
Logic Journal of the 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. UCS, 2009

DR-CONTRACT: an architecture for e-contracts in defeasible logic.
IJBPIM, 2009

A defeasible logic for modelling policy-based intentions and motivational attitudes.
Logic Journal of the 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.
Autonomous Agents and Multi-Agent Systems, 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

Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: 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

How Do Agents Comply with Norms?
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 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

2008
Measurement of Compliance Distance in Business Processes.
IS Management, 2008

Introduction to the Special Issue: Electronic Contract Architectures and Languages.
Int. J. Electronic Commerce, 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.
Autonomous Agents and Multi-Agent Systems, 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

Time and Defeasibility in FIPA ACL Semantics.
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

BIO Logical Agents: Norms, Beliefs, Intentions in 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

A System for Modal and Deontic Defeasible Reasoning.
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.
TPLP, 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

ALE 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 ALC 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. Philosophical Logic, 2005

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

Representing business contracts in RuleML.
Int. J. Cooperative Inf. Syst., 2005

Probabilistic Automated Bidding in Multiple Auctions.
Electronic Commerce Research, 2005

Embedding Defeasible Logic into Logic Programming
CoRR, 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.
Electr. Notes Theor. Comput. Sci., 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.
Electronic Commerce Research and Applications, 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
Representation results for defeasible logic
CoRR, 2000

A tableau methodology for deontic conditional logics
CoRR, 2000

A flexible framework for defeasible 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.
PRICAI, 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...