Leon van der Torre

According to our database1, Leon van der Torre authored at least 317 papers between 1993 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
Arguing about constitutive and regulative norms.
Journal of Applied Non-Classical Logics, 2018

Probabilistic Abstract Argumentation Based on SCC Decomposability.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Representation Equivalences Among Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2018

Preference in Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2018

Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2018

A Deontic Logic Reasoning Infrastructure.
Proceedings of the Sailing Routes in the World of Computation, 2018

Argumentation as Exogenous Coordination.
Proceedings of the It's All About Coordination, 2018

2017
A partial taxonomy of judgment aggregation rules and their properties.
Social Choice and Welfare, 2017

Reasoning in Non-probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.
Minds and Machines, 2017

Prioritized Norms in Formal Argumentation.
CoRR, 2017

Defense semantics of argumentation: encoding reasons for accepting arguments.
CoRR, 2017

Reasoning in Non-Probabilistic Uncertainty: Logic Programming and Neural-Symbolic Computing as Examples.
CoRR, 2017

Commitments and interaction norms in organisations.
Autonomous Agents and Multi-Agent Systems, 2017

Rational Enterprise Architecture.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Combining fuzzy logic and formal argumentation for legal interpretation.
Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law, 2017

The pragmatic oddity in norm-based deontic logics.
Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law, 2017

Viewpoints and Visualisation.
Proceedings of the Enterprise Architecture at Work, 2017

Foundations.
Proceedings of the Enterprise Architecture at Work, 2017


Tool Support.
Proceedings of the Enterprise Architecture at Work, 2017

2016
AGM Contraction and Revision of Rules.
Journal of Logic, Language and Information, 2016

Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law.
Artif. Intell. Law, 2016

Complaint Ontology Pattern - COP.
Proceedings of the Advances in Ontology Design and Patterns [revised and extended versions of the papers presented at the 7th edition of the Workshop on Ontology and Semantic Web Patterns, 2016

Modeling Relevant Legal Information for Consumer Disputes.
Proceedings of the Electronic Government and the Information Systems Perspective, 2016

Norms and Arguments.
Proceedings of the 1st Chinese Conference on Logic and Argumentation (CLAR 2016), 2016

Commitments and Interaction Norms in Organisations: JAAMAS Extended Abstract.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Retalis Language for Information Engineering in Autonomous Robot Software.
FLAP, 2015

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

Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362).
Dagstuhl Reports, 2015

Normative Multi-Agent Systems (Dagstuhl Seminar 15131).
Dagstuhl Reports, 2015

Majority-preserving judgment aggregation rules.
CoRR, 2015

Persistence and Monotony Properties of Argumentation Semantics.
Proceedings of the Theory and Applications of Formal Argumentation, 2015

Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation.
Proceedings of the Legal Knowledge and Information Systems, 2015

AGM Revision of Beliefs about Action and Time.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

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

Abduction and Dialogical Proof in Argumentation and Logic Programming.
CoRR, 2014

On the Input/Output behavior of argumentation frameworks.
Artif. Intell., 2014

A critical analysis of legal requirements engineering from the perspective of legal practice.
Proceedings of the IEEE 7th International Workshop on Requirements Engineering and Law, 2014

Aggregative Deontic Detachment for Normative Reasoning.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Compliance with Multiple Regulations.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

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

Abduction and Dialogical Proof in Argumentation and Logic Programming.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Combining Constitutive and Regulative Norms in Input/Output Logic.
Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

"Sing and Dance!" - Input/Output Logics without Weakening.
Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

Toward a Linguistic Interpretation of Deontic Paradoxes - Beth-Reichenbach Semantics Approach for a New Analysis of the Miners Scenario.
Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

An ASPIC-based legal argumentation framework for deontic reasoning.
Proceedings of the Computational Models of Argument, 2014

Encompassing Uncertainty in Argumentation Schemes.
Proceedings of the Workshop on Frontiers and Connections between Argumentation Theory and Natural Language Processing, 2014

2013
A socio-cognitive model of trust using argumentation theory.
Int. J. Approx. Reasoning, 2013

An Update Semantics for Defeasible Obligations
CoRR, 2013

A Logical Theory about Dynamics in Abstract Argumentation.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

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

Managing legal interpretation in regulatory compliance.
Proceedings of the International Conference on Artificial Intelligence and Law, 2013

Monotonic and Nonmonotonic Inference for Abstract Argumentation.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013


Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Event-processing in autonomous robot programming.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Changing Commitments Based on Reasons and Assumptions.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

Argumentation Theoretic Foundations for Abstract Dependence Networks.
Proceedings of the Agreement Technologies - Second International Conference, 2013

Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution.
Proceedings of the AI Approaches to the Complexity of Legal Systems, 2013

The Construction of Models and Roles in Normative Systems.
Proceedings of the AI Approaches to the Complexity of Legal Systems, 2013

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

A logic of argumentation for specification and verification of abstract argumentation frameworks.
Ann. Math. Artif. Intell., 2012

Modelling defeasible and prioritized support in bipolar argumentation.
Ann. Math. Artif. Intell., 2012

Agent Programming Languages Requirements for Programming Autonomous Robots.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

NLP Challenges for Eunomos a Tool to Build and Manage Legal Knowledge.
Proceedings of the Eighth International Conference on Language Resources and Evaluation, 2012

Abstract Normative Systems: Semantics and Proof Theory.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Beyond Maxi-Consistent Argumentation Operators.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Reasoning for Agreement Technologies.
Proceedings of the ECAI 2012, 2012

Visualizing Normative Systems: An Abstract Approach.
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Discussion Paper: Changing Norms Is Changing Obligation Change.
Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Logics for Security and Privacy.
Proceedings of the Data and Applications Security and Privacy XXVI, 2012

Conditional Acceptance Functions.
Proceedings of the Computational Models of Argument, 2012

On Input/Output Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2012

Contrary-To-Duties in Games.
Proceedings of the Logic Programs, Norms and Action, 2012

Monitoring Interaction in Organisations.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VIII, 2012

Changing Agreements: Intention Reconsideration based on Assumptions and Reasons.
Proceedings of the First International Conference on Agreement Technologies, 2012

Dependence Networks for Agreement Technologies.
Proceedings of the First International Conference on Agreement Technologies, 2012

Selecting judgment aggregation rules for NAO robots: an experimental approach.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

A programming approach to monitoring communication in an organisational environment.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Learning and reasoning about norms using neural-symbolic systems.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008).
J. Applied Logic, 2011

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

A dynamic logic for privacy compliance.
Artif. Intell. Law, 2011

Judgment aggregation rules based on minimization.
Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Multi-sorted Argumentation.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Conditional Labelling for Abstract Argumentation.
Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems.
Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Argumentative Agents Negotiating on Potential Attacks.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011

Attack Semantics for Abstract Argumentation.
Proceedings of the IJCAI 2011, 2011

Conditional Labelling for Abstract Argumentation.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

A Satisficing Agreements Model.
Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science.
Proceedings of the Lectures on Logic and Computation, 2011

Arguing about the Trustworthiness of the Information Sources.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Dynamics in Delegation and Revocation Schemes: A Logical Approach.
Proceedings of the Data and Applications Security and Privacy XXV, 2011

Conviviality measures.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Neural symbolic architecture for normative agents.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Eunomos, a Legal Document and Knowledge Management System to Build Legal Services.
Proceedings of the AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents, 2011

2010
Violation games: a new foundation for deontic logic.
Journal of Applied Non-Classical Logics, 2010

The role of goals in belief selection.
Logic Journal of the IGPL, 2010

Convivial Ambient Technologies: Requirements, Ontology and Design.
Comput. J., 2010

Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.
Proceedings of the STAIRS 2010, 2010

Group Intention = Social Choice + Commitment.
Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

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

Higher-Order Coalition Logic.
Proceedings of the ECAI 2010, 2010

Deontic Redundancy: A Fundamental Challenge for Deontic Logic.
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Privacy Policies with Modal Logic: The Dynamic Turn.
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Support in Abstract Argumentation.
Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Group Intention Is Social Choice with Commitment.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

2009
Preface for Studia Logica Special Issue (2).
Studia Logica, 2009

Meta-Argumentation Modelling I: Methodology and Techniques.
Studia Logica, 2009

Fibred Security Language.
Studia Logica, 2009

Norm negotiation in online multi-player games.
Knowl. Inf. Syst., 2009

Analyzing Cooperation in Iterative Social Network Design.
J. UCS, 2009

Algorithms for finding coalitions exploiting a new reciprocity condition.
Logic Journal of the IGPL, 2009

A Middleware for Modeling Organizations and Roles in Jade.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics.
Proceedings of the Second Multi-Agent Logics, 2009

Dependency in Cooperative Boolean Games.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

Five Guidelines for Normative Multiagent Systems.
Proceedings of the Legal Knowledge and Information Systems, 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

Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic.
Proceedings of the AI Approaches to the Complexity of Legal Systems. Complex Systems, the Semantic Web, Ontologies, Argumentation, and Dialogue, 2009

Programming Normative Artifacts with Declarative Obligations and Prohibitions.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

On the Acceptability of Meta-arguments.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Four measures for the dynamics of coalitions in social networks.
Proceedings of the HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29, 2009

The Interplay between Relationships, Roles and Objects.
Proceedings of the Fundamentals of Software Engineering, 2009

Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

FSL - Fibred Security Language.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

A Conviviality Measure for Early Requirement Phase.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Temporal dependence networks for the design of convivial multiagent systems.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Conditional Dependence Networks in Requirements Engineering.
Proceedings of the Coordination, 2009

Normative framework for normative system change.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Dynamics in argumentation with single extensions: attack refinement and the grounded extension.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Social network semantics for agent communication.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Dynamics in Argumentation with Single Extensions: Attack Refinement and the Grounded Extension (Extended Version).
Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

A Complete Conclusion-Based Procedure for Judgment Aggregation.
Proceedings of the Algorithmic Decision Theory, First International Conference, 2009

Representing Excuses in Social Dependence Networks.
Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008
Substantive and procedural norms in normative multiagent systems.
J. Applied Logic, 2008

Preference-based argumentation: Arguments supporting multiple values.
Int. J. Approx. Reasoning, 2008

Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms.
Annals OR, 2008

Institutions with a hierarchy of authorities in distributed dynamic environments.
Artif. Intell. Law, 2008

Introduction to the special issue on normative multiagent systems.
Autonomous Agents and Multi-Agent Systems, 2008

Self Adaptive Coalitions in Multiagent Systems.
Proceedings of the Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2008

Changing Institutional Goals and Beliefs of Autonomous Agents.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Social Viewpoints for Arguing about Coalitions.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

A Normative View on the Blocks World.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

Adding Organizations and Roles as Primitives to JADE Framework.
Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

How to Program Organizations and Roles in the JADE Framework.
Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Preference Change Triggered by Belief Change: A Principled Approach.
Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

Making Others Believe What They Want.
Proceedings of the Artificial Intelligence in Theory and Practice II, 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

From Belief Change to Preference Change.
Proceedings of the ECAI 2008, 2008

Conditional Norms and Dyadic Obligations in Time.
Proceedings of the ECAI 2008, 2008

Adding Organizations and Roles as Primitives to the JADE Framework.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Ten Challenges for Normative Multiagent Systems.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Conviviality masks in multiagent systems.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
From social power to social importance.
Web Intelligence and Agent Systems, 2007

Interaction between Objects in powerJava.
Journal of Object Technology, 2007

Norm Negotiation in Multiagent Systems.
Int. J. Cooperative Inf. Syst., 2007

Preface.
Electr. Notes Theor. Comput. Sci., 2007

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.
Enterprise Modelling and Information Systems Architectures, 2007

Formal analysis of trace conditioning.
Cognitive Systems Research, 2007

Roles, an interdisciplinary perspective.
Applied Ontology, 2007

A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles.
Applied Ontology, 2007

The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles.
Artif. Intell. Law, 2007

Adding Roles to Relationship Patterns.
Proceedings of the WOA 2007: Dagli Oggetti agli Agenti. 8th AI*IA/TABOO Joint Workshop "From Objects to Agents": Agents and Industry: Technological Applications of Software Agents, 2007

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

Reasoning about Norms, Obligations, Time and Agents.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Merging Roles in Coordination and in Agent Deliberation.
Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Power in Norm Negotiation.
Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2007

Relationships Meet Their Roles in Object Oriented Programming.
Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

On the Acceptability of Incompatible Arguments.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Premise Independence in Judgment Aggregation.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

What is Input/Output Logic? Input/Output Logic, Constraints, Permissions.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

From belief change to preference change.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

Ten Philosophical Problems in Deontic Logic.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

What an Agent Ought To Do.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

07122 Abstracts Collection - Normative Multi-agent Systems.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Introduction to Normative Multiagent Systems.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

A Game-Theoretic Approach to Normative Multi-Agent Systems.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Choosing Your Beliefs.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

An Attacker Model for Normative Multi-agent Systems.
Proceedings of the Multi-Agent Systems and Applications V, 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
Security policies for sharing knowledge in virtual communities.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2006

A game theoretic approach to contracts in multiagent systems.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2006

Coordination and Organization: Definitions, Examples and Future Research Directions.
Electr. Notes Theor. Comput. Sci., 2006

Preface.
Electr. Notes Theor. Comput. Sci., 2006

Roles as a Coordination Construct: Introducing powerJava.
Electr. Notes Theor. Comput. Sci., 2006

List of reviewers.
Computational & Mathematical Organization Theory, 2006

Introduction to normative multiagent systems.
Computational & Mathematical Organization Theory, 2006

Importing Agent-like Interaction in Object Orientation.
Proceedings of the 7th WOA 2006 Workshop, 2006

powerJava: ontologically founded roles in object oriented programming languages.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects.
Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

Interaction among objects via roles: sessions and affordances in Java.
Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006

Modelling the Interaction Between Objects: Roles as Affordances.
Proceedings of the Knowledge Science, 2006

The Roles of Roles in Agent Communication Languages.
Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Merging Optimistic and Pessimistic Preferences.
Proceedings of the 9th International Conference on Information Fusion, 2006

Acyclic Argumentation: Attack = Conflict + Preference.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Fair Distribution of Collective Obligations.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Count-As Conditionals, Classification and Context.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Strengthening Admissible Coalitions.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

Delegation of Power in Normative Multiagent Systems.
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

A Logical Architecture of a Normative System.
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

A Foundational Ontology of Organizations and Roles.
Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Preface -- Workshop Trustworthy Software 2006.
Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Landscape Maps for Enterprise Architectures.
Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

An architecture of a normative system: counts-as conditionals, obligations and permissions.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Role-based semantics for agent communication: embedding of the 'mental attitudes' and 'social commitments' semantics.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

ACL Semantics Between Social Commitments and Mental Attitudes.
Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005
Beliefs, obligations, intentions, and desires as components in an agent architecture.
Int. J. Intell. Syst., 2005

How to decide what to do?
European Journal of Operational Research, 2005

Interaction in Normative Multi-Agent Systems.
Electr. Notes Theor. Comput. Sci., 2005

Social roles, from agents back to objects.
Proceedings of the WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 2005

Argument Games for Interactive Access Control.
Proceedings of the 2005 IEEE / WIC / ACM International Conference on Web Intelligence (WI 2005), 2005

Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages.
Proceedings of the Programming Multi-Agent Systems, 2005

Introduction to Normative Multiagent Systems.
Proceedings of the Symposium on Normative Multi-Agent Systems, 2005

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

Change impact analysis of enterprise architectures.
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

The Evolution of Artificial Social Systems.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

A Non-monotonic Logic for Specifying and Querying Preferences.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Permission and Authorization in Normative Multiagent Systems.
Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Role-based Rights in Arti.cial Social Systems.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Admissible Agreements among Goal-directed Agents.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

A Synthesis Between Mental Attitudes and Social Commitments in Agent Communication Languages.
Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Enterprise Architecture Analysis with XML.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Virtual Organizations as Normative Multiagent Systems.
Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Algorithms for a Nonmonotonic Logic of Preferences.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Constitutive Norms in the Design of Normative Multiagent Systems.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Semantic Analysis of Chisholm's Paradox.
Proceedings of the BNAIC 2005, 2005

Analyzing Control Trust in Normative Multiagent Systems.
Proceedings of the 18th Bled eConference: eIntegration in Action, 2005

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

Design by Contract Deontic Design Language for Multiagent Systems.
Proceedings of the Coordination, 2005

Organizations in Artificial Social Systems.
Proceedings of the Coordination, 2005

Enforceable social laws.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Reducing coalition structures via agreement specification.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation.
Proceedings of the Coordination, 2005

A Logic of Abstract Argumentation.
Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

Formalisation and Analysis of the Temporal Dynamics of Conditioning.
Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

Argumentation for Access Control.
Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004
Concepts For Modeling Enterprise Architectures.
Int. J. Cooperative Inf. Syst., 2004

Organizations as Socially Constructed Agents in the Agent Oriented Paradigm.
Proceedings of the WOA 2004: Dagli Oggetti agli Agenti. 5th AI*IA/TABOO Joint Workshop "From Objects to Agents": Complex Systems and Rational Agents, 30 November, 2004

Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Combining goal generation and planning in an argumentation framework.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Regulative and Constitutive Norms in Normative Multiagent Systems.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Games for Cognitive Agents.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Using XML Transformations for Enterprise Architectures.
Proceedings of the Leveraging Applications of Formal Methods, 2004

Using XML Transformations for Enterprise Architectures.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Game Specification in Normative Multiagent System: The Trias Politica.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Fulfilling or Violating Obligations in Normative Multiagent Systems.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Power and Dependence Relations in Groups of Agents.
Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Organizations as Socially Constructed Agents in the Agent Oriented Paradigm.
Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

A Logical Viewpoint on Architectures.
Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Abstraction from Power to Coalition Structures.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Specifying Multiagent Organizations.
Proceedings of the Deontic Logic in Computer Science, 2004

Delta: The Social Delegation Cycle.
Proceedings of the Deontic Logic in Computer Science, 2004

Inferring Trust.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Programming BOID-Plan Agents: Deliberating about Conflicts among Defeasible Mental Attitudes and Plans.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Normative Multiagent Systems and Trust Dynamics.
Proceedings of the Trusting Agents for Trusting Electronic Societies, 2004

Groups as Agents with Mental Attitudes.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Contracts as Legal Institutions in Organizations of Autonomous Agents.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Social Viewpoints on Multiagent Systems.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Permission and Authorization in Policies for Virtual Communities of Agents.
Proceedings of the Agents and Peer-to-Peer Computing, Third International Workshop, 2004

Attributing mental attitudes to roles: the agent metaphor applied to e-trade organizations.
Proceedings of the 6th International Conference on Electronic Commerce, 2004

2003
Permission from an Input/Output Perspective.
J. Philosophical Logic, 2003

Contextual Deontic Logic: Normative Agents, Violations and Independence.
Ann. Math. Artif. Intell., 2003

What an Agent Ought To Do.
Artif. Intell. Law, 2003

Policy Management for Virtual Communities of Agents.
Proceedings of the WOA 2003: Dagli Oggetti agli Agenti. 4th AI*IA/TABOO Joint Workshop "From Objects to Agents": Intelligent Systems and Pervasive Computing, 2003

Local Policies for the Control of Virtual Communities.
Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Decentralized Control: Obligations and Permissions in Virtual Communities of Agents.
Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

Hidden Uncertainty in the Logical Representation of Desires.
Proceedings of the IJCAI-03, 2003

BDIOCTL: Obligations and the Specification of Agent Behavior.
Proceedings of the IJCAI-03, 2003

Permissions and Obligations in Hierarchical Normative Systems.
Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

Rational Norm Creation.
Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

Norm Governed Multiagent Systems: The Delegation of Control to Autonomous Agents.
Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

Towards a Language for Coherent Enterprise Architecture Descriptions.
Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

Attributing mental attitudes to normative systems.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Obligations as Social Constructs.
Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002
Realistic desires.
Journal of Applied Non-Classical Logics, 2002

What is a Joint Goal? Games with Beliefs and Defeasible Desires
CoRR, 2002

Utilitarian Desires.
Autonomous Agents and Multi-Agent Systems, 2002

What Is a Normative Goal?: Towards Goal-Based Normative Agent Architectures.
Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, 2002

What is a joint goal? Games with beliefs and defeasible desires.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

An Extension of BDICTL with Functional Dependencies and Components.
Proceedings of the Logic for Programming, 2002

Specifying the Merging of Desires into Goals in the Context of Beliefs.
Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

Trust and Commitment in Dynamic Logic.
Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

2001
Constraints for Input/Output Logics.
J. Philosophical Logic, 2001

Parameters for Utilitarian Desires in a Qualitative Decision Theory.
Appl. Intell., 2001

Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Negotiation protocols and dialogue games.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

The BOID architecture: conflicts between beliefs, obligations, intentions and desires.
Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000
Input/Output Logics.
J. Philosophical Logic, 2000

1999
Contrary-to-duty reasoning with preference-based dyadic obligations.
Ann. Math. Artif. Intell., 1999

Diagnosis and Decision Making in Normative Reasoning.
Artif. Intell. Law, 1999

An Update Semantics for Defeasible Obligations.
Proceedings of the UAI '99: Proceedings of the Fifteenth Conference on Uncertainty in Artificial Intelligence, Stockholm, Sweden, July 30, 1999

Rights, Duties and Commitments between Agents.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Defeasible Goals.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1999

Violation Contexts and Deontic Independence.
Proceedings of the Modeling and Using Context, 1999

1998
Prohairetic Deontic Logic (PDL).
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Phased Labeled Logics of Conditional Goals.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

An Update Semantics for Prima Facie Obligations.
ECAI, 1998

Labeled Logics of Conditional Goals.
ECAI, 1998

Formal Models of Control Systems.
ECAI, 1998

The Temporal Analysis of Chisholm's Paradox.
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997
Contextual Deontic Logic.
Proceedings of the Formal Models of Agents, 1997

The Role of Diagnosis and Decision Theory in Normative Reasoning.
Proceedings of the Formal Models of Agents, 1997

Reasoning About Exceptions (Extended Abstract).
Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Distinguishing Different Roles in Normative Reasoning.
Proceedings of the Sixth International Conference on Artificial Intelligence and Law, 1997

1996
How to Combine Ordering and Minimizing in a Deontic Logic Based on Preferences.
Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

1995
Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Why Defeasible Deontic Logic needs a Multi Preference Semantics.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994
Deontic and Diagnostic Reasoning.
Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

Violated Obligations in a Defeasible Deontic Logic.
ECAI, 1994

1993
Constructing Refinement Operators by Decomposing Logical Implication.
Proceedings of the Advances in Artificial Intelligence, 1993


  Loading...