Leon van der Torre

According to our database, Leon van der Torre authored at least 368 papers between 1993 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Permissive and regulative norms in deontic logic.

Maya Olszewski, Xavier Parent, Leendert van der Torre

J. Log. Comput., 2024

Bisimulation between base argumentation and premise-conclusion argumentation.

Jinsheng Chen, Beishui Liao, Leendert van der Torre

Artif. Intell., 2024

Attack-Defense Semantics of Argumentation.

Beishui Liao, Leendert van der Torre

Proceedings of the Computational Models of Argument, 2024

2023

An argumentation semantics for rational human evaluation of arguments.

Marcos Cramer, Leendert van der Torre

Frontiers Artif. Intell., February, 2023

The Jiminy Advisor: Moral Agreements among Stakeholders Based on Norms and Argumentation.

Beishui Liao, Pere Pardo, Marija Slavkovik, Leendert van der Torre

J. Artif. Intell. Res., 2023

Space and Artificial Intelligence (Dagstuhl Seminar 23461).

Saso Dzeroski, Holger H. Hoos, Bertrand Le Saux, Leendert van der Torre, Ana Kostovska

Dagstuhl Reports, 2023

Normative Reasoning for AI (Dagstuhl Seminar 23151).

Agata Ciabattoni, John F. Horty, Marija Slavkovik, Leendert van der Torre, Aleks Knoks

Dagstuhl Reports, 2023

Defense semantics of argumentation: revisit.

Beishui Liao, Leendert van der Torre

CoRR, 2023

Arguing About Choosing a Normative System: Conflict of Laws.

Kees van Berkel, Réka Markovich, Christian Straßer, Leendert van der Torre

Proceedings of the Legal Knowledge and Information Systems, 2023

Exploration des sémantiques d'argumentation bipolaire : une analyse basée sur les principes.

Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

A Principle-Based Analysis of Bipolar Argumentation Semantics.

Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Deontic Equilibrium Logic with eXplicit Negation.

Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Reason-Based Detachment.

Aleks Knoks, Leendert van der Torre

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

What Should I Do and Why?

Joris Hulstijn, Leendert van der Torre

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

Rights and Practical Reasoning in Deontic Logic.

Huimin Dong, Dragan Doder, Xu Li, Réka Markovich, Leendert van der Torre, Marc van Zee

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

Weakest Link in Formal Argumentation: Lookahead and Principle-Based Analysis.

Chen Chen, Pere Pardo, Leendert van der Torre, Liuwen Yu

Proceedings of the Logic and Argumentation - 5th International Conference, 2023

2022

Detachment in Normative Systems: Examples, Inference Patterns, Properties.

Leendert van der Torre, Xavier Parent

FLAP, 2022

Normative Change: An AGM Approach.

Juliano Maranhão, Giovanni Casini, Gabriella Pigozzi, Leendert van der Torre

FLAP, 2022

Defeasible Deontic Logic: Arguing about Permission and Obligation.

Huimin Dong, Beishui Liao, Réka Markovich, Leendert van der Torre

FLAP, 2022

Multi-agent Argumentation and Dialogue.

Ryuta Arisaka, Jérémie Dauphin, Ken Satoh, Leendert van der Torre

FLAP, 2022

Non-Admissibility in Abstract Argumentation.

Wolfgang Dvorák, Tjitze Rienstra, Leendert van der Torre, Stefan Woltran

Proceedings of the Computational Models of Argument, 2022

2021

Towards AI Logic for Social Reasoning.

Huimin Dong, Réka Markovich, Leendert van der Torre

CoRR, 2021

Populating legal ontologies using semantic role labeling.

Llio Humphreys, Guido Boella, Leendert van der Torre, Livio Robaldo, Luigi Di Caro, Sepideh Ghanavati, Robert Muthuri

Artif. Intell. Law, 2021

A Principle-based Analysis of Abstract Agent Argumentation Semantics.

Liuwen Yu, Dongheng Chen, Lisha Qiao, Yiqi Shen, Leendert van der Torre

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Input/Output Logic With a Consistency Check - the Case of Permission.

Maya Olszewski, Xavier Parent, Leendert van der Torre

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

If You Want to Smoke, Don't Buy Cigarettes: Near-Anankastics, Contexts, and Hyper Modality.

Kees van Berkel, Dov M. Gabbay, Leendert van der Torre

Proceedings of the Deontic Logic and Normative Systems - 15th International Conference, 2021

New Weak Admissibility Semantics for Abstract Argumentation.

Jérémie Dauphin, Tjitze Rienstra, Leendert van der Torre

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

Base Argumentation as an Abstraction of Deductive Argumentation.

Jinsheng Chen, Beishui Liao, Leendert van der Torre

Proceedings of the Logic and Argumentation - 4th International Conference, 2021

Expectation: Personalized Explainable Artificial Intelligence for Decentralized Agents with Heterogeneous Knowledge.

Davide Calvaresi, Giovanni Ciatto, Amro Najjar, Reyhan Aydogan, Leon van der Torre, Andrea Omicini, Michael Schumacher

Proceedings of the Explainable and Transparent AI and Multi-Agent Systems, 2021

2020

Artificial intelligence in space.

George Anthony Gal, Cristiana Santos, Lucien Rapp, Réka Markovich, Leendert W. N. van der Torre

CoRR, 2020

A principle-based robustness analysis of admissibility-based argumentation semantics.

Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, Beishui Liao

Argument Comput., 2020

Intention as commitment toward time.

Marc van Zee, Dragan Doder, Leon van der Torre, Mehdi Dastani, Thomas Icard, Eric Pacuit

Artif. Intell., 2020

Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support.

Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre

Artif. Intell., 2020

A Bimodal Simulation of Defeasibility in the Normative Domain.

Tomer Libal, Matteo Pascucci, Leon van der Torre, Dov M. Gabbay

Proceedings of the 6th Workshop on Formal and Cognitive Reasoning co-located with 43rd German Conference on Artificial Intelligence (KI-2020), 2020

Interpretations of Support Among Arguments.

Liuwen Yu, Réka Markovich, Leendert van der Torre

Proceedings of the Legal Knowledge and Information Systems, 2020

Attack-Defence Frameworks: Argumentation-Based Semantics for Attack-Defence Trees.

Dov M. Gabbay, Ross Horne, Sjouke Mauw, Leendert van der Torre

Proceedings of the Graphical Models for Security - 7th International Workshop, 2020

Explanation Semantics for Abstract Argumentation.

Beishui Liao, Leendert van der Torre

Proceedings of the Computational Models of Argument, 2020

A Principle-Based Analysis of Weakly Admissible Semantics.

Jeremie Dauphin, Tjitze Rienstra, Leendert van der Torre

Proceedings of the Computational Models of Argument, 2020

2019

Prioritized norms in formal argumentation.

Beishui Liao, Nir Oren, Leender van der Torre, Serena Villata

J. Log. Comput., 2019

Introduction to Legal AI.

Livio Robaldo, Leendert W. N. van der Torre

FLAP, 2019

A geometrical view of I/O logic.

Dov M. Gabbay, Xavier Parent, Leon van der Torre

CoRR, 2019

SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability: Technical Report.

Marcos Cramer, Leendert W. N. van der Torre

CoRR, 2019

Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support.

Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre

CoRR, 2019

From Classical to Non-monotonic Deontic Logic Using ASPIC⁺.

Huimin Dong, Beishui Liao, Réka Markovich, Leendert W. N. van der Torre

Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

SCF2 - an Argumentation Semantics for Rational Human Judgments on Argument Acceptability.

Marcos Cramer, Leon van der Torre

Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief (DKB-2019) and the 7th Workshop KI & Kognition (KIK-2019) co-located with 44nd German Conference on Artificial Intelligence (KI 2019), 2019

Building Jiminy Cricket: An Architecture for Moral Agreements Among Stakeholders.

Beishui Liao, Marija Slavkovik, Leendert W. N. van der Torre

Proceedings of the 2019 AAAI/ACM Conference on AI, Ethics, and Society, 2019

2018

Arguing about constitutive and regulative norms.

Gabriella Pigozzi, Leon van der Torre

J. Appl. Non Class. Logics, 2018

Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362).

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre

Dagstuhl Manifestos, 2018

More Attention and Less Repetitive and Stereotyped Behaviors using a Robot with Children with Autism.

Andreia P. Costa, Louise Charpiot, Francisco J. Rodríguez-Lera, Pouyan Ziafati, Aida Nazarikhorram, Leendert W. N. van der Torre, Georges Steffgen

Proceedings of the 27th IEEE International Symposium on Robot and Human Interactive Communication, 2018

Probabilistic Abstract Argumentation Based on SCC Decomposability.

Tjitze Rienstra, Matthias Thimm, Beishui Liao, Leendert W. N. van der Torre

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

From Georeferenced Data to Socio-Spatial Knowledge. Ontology Design Patterns to Discover Domain-Specific Knowledge from Crowdsourced Data.

Alessia Calafiore, Guido Boella, Leender van der Torre

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

I/O Logics with a Consistency Check.

Xavier Parent, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Normative Systems - 14th International Conference, 2018

Representation Equivalences Among Argumentation Frameworks.

Beishui Liao, Leendert W. N. van der Torre

Proceedings of the Computational Models of Argument, 2018

Preference in Abstract Argumentation.

Souhila Kaci, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Computational Models of Argument, 2018

Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks.

Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre

Proceedings of the Computational Models of Argument, 2018

A Dynamic Approach for Combining Abstract Argumentation Semantics.

Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre

Proceedings of the Dynamics, 2018

A Deontic Logic Reasoning Infrastructure.

Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre

Proceedings of the Sailing Routes in the World of Computation, 2018

Argumentation as Exogenous Coordination.

Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay

Proceedings of the It's All About Coordination, 2018

Ethics by Design: Necessity or Curse?

Virginia Dignum, Matteo Baldoni, Cristina Baroglio, Maurizio Caon, Raja Chatila, Louise A. Dennis, Gonzalo Génova, Galit Haim, Malte S. Kließ, Maite López-Sánchez, Roberto Micalizio, Juan Pavón, Marija Slavkovik, Matthijs H. J. Smakman, Marlies van Steenbergen, Stefano Tedeschi, Leon van der Torre, Serena Villata, Tristan de Wildt

Proceedings of the 2018 AAAI/ACM Conference on AI, Ethics, and Society, 2018

2017

A partial taxonomy of judgment aggregation rules and their properties.

Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leon van der Torre, Srdjan Vesic

Soc. Choice Welf., 2017

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

Tarek R. Besold, Artur S. d'Avila Garcez, Keith Stenning, Leendert W. N. van der Torre, Michiel van Lambalgen

Minds Mach., 2017

The Principle-Based Approach to Abstract Argumentation Semantics.

Leon van der Torre, Srdjan Vesic

FLAP, 2017

Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective.

Gabriella Pigozzi, Leendert W. N. van der Torre

FLAP, 2017

Editorial.

Gabriella Pigozzi, Leendert W. N. van der Torre

FLAP, 2017

Handling Norms in Multi-agent Systems by Means of Formal Argumentation.

Célia da Costa Pereira, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Andrea G. B. Tettamanzi, Leendert W. N. van der Torre, Serena Villata

FLAP, 2017

Editorial.

Pietro Baroni, Dov M. Gabbay, Massimiliano Giacomin, Leon van der Torre

FLAP, 2017

Defense semantics of argumentation: encoding reasons for accepting arguments.

Beishui Liao, Leendert W. N. van der Torre

CoRR, 2017

Commitments and interaction norms in organisations.

Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith

Auton. Agents Multi Agent Syst., 2017

Rational Enterprise Architecture.

Leendert W. N. van der Torre, Marc van Zee

Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017

Combining fuzzy logic and formal argumentation for legal interpretation.

Célia da Costa Pereira, Andrea G. B. Tettamanzi, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Leendert W. N. van der Torre

Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

The pragmatic oddity in norm-based deontic logics.

Xavier Parent, Leendert W. N. van der Torre

Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, 2017

Reuse and Reengineering of Non-ontological Resources in the Legal Domain.

Cristiana Santos, Pompeu Casanovas, Víctor Rodríguez-Doncel, Leendert W. N. van der Torre

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

Anything You Say May Be Used Against You in a Court of Law - Abstract Agent Argumentation (Triple-A).

Ryuta Arisaka, Ken Satoh, Leendert W. N. van der Torre

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2017

Viewpoints and Visualisation.

Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, S. J. B. A. Hoppenbrouwers, Maarten W. A. Steen

Proceedings of the Enterprise Architecture at Work, 2017

Foundations.

Marc M. Lankhorst, Leon van der Torre, Henderik A. Proper, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue

Proceedings of the Enterprise Architecture at Work, 2017

Architecture Analysis.

Maria-Eugenia Iacob, Henk Jonkers, Leon van der Torre, Frank S. de Boer, Marcello M. Bonsangue, Andries W. Stam, Marc M. Lankhorst, Dick A. C. Quartel, Adina Aldea

Proceedings of the Enterprise Architecture at Work, 2017

Tool Support.

Hugo W. L. ter Doest, Diederik van Leeuwen, Peter Fennema, Leon van der Torre, Andries W. Stam, Joost Jacob, Farhad Arbab

Proceedings of the Enterprise Architecture at Work, 2017

2016

AGM Contraction and Revision of Rules.

Guido Boella, Gabriella Pigozzi, Leon van der Torre

J. Log. Lang. Inf., 2016

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

Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leon van der Torre

Artif. Intell. Law, 2016

Complaint Ontology Pattern - COP.

Cristiana Santos, Cédric Pruski, Marcos Da Silveira, Víctor Rodríguez-Doncel, Aldo Gangemi, Leon van der Torre, Pompeu Casanovas

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.

Cristiana Santos, Víctor Rodríguez-Doncel, Pompeu Casanovas, Leon van der Torre

Proceedings of the Electronic Government and the Information Systems Perspective, 2016

Prioritized Norms and Defaults in Formal Argumentation.

Beishui Liao, Nir Oren, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

Cumulative aggregation.

Diego Agustín Ambrossio, Xavier Parent, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Normative Systems - 13th International Conference, 2016

Norms and Arguments.

Leendert W. N. van der Torre

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

Commitments and Interaction Norms in Organisations: JAAMAS Extended Abstract.

Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015

Retalis Language for Information Engineering in Autonomous Robot Software.

Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos

FLAP, 2015

Algorithms for tractable compliance problems.

Silvano Colombo Tosatto, Pierre Kelsen, Qin Ma, Marwane El Kharbili, Guido Governatori, Leendert W. N. van der Torre

Frontiers Comput. Sci., 2015

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

Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre

Dagstuhl Reports, 2015

Normative Multi-Agent Systems (Dagstuhl Seminar 15131).

Amit K. Chopra, Leon van der Torre, Harko Verhagen, Serena Villata

Dagstuhl Reports, 2015

Majority-preserving judgment aggregation rules.

Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre, Srdjan Vesic

CoRR, 2015

Persistence and Monotony Properties of Argumentation Semantics.

Tjitze Rienstra, Chiaki Sakama, Leendert W. N. van der Torre

Proceedings of the Theory and Applications of Formal Argumentation, 2015

Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation.

Llio Humphreys, Cristiana Santos, Luigi Di Caro, Guido Boella, Leon van der Torre, Livio Robaldo

Proceedings of the Legal Knowledge and Information Systems, 2015

AGM Revision of Beliefs about Action and Time.

Marc van Zee, Dragan Doder, Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Consistency Conditions for Beliefs and Intentions.

Marc van Zee, Mehdi Dastani, Dragan Doder, Leendert W. N. van der Torre

Proceedings of the 2015 AAAI Spring Symposia, 2015

2014

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

João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leendert W. N. van der Torre

J. Log. Comput., 2014

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

Michael Fisher, Leendert W. N. van der Torre, Mehdi Dastani, Guido Governatori

J. Log. Comput., 2014

On the Input/Output behavior of argumentation frameworks.

Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert W. N. van der Torre, Serena Villata

Artif. Intell., 2014

A critical analysis of legal requirements engineering from the perspective of legal practice.

Guido Boella, Llio Humphreys, Robert Muthuri, Piercarlo Rossi, Leendert W. N. van der Torre

Proceedings of the IEEE 7th International Workshop on Requirements Engineering and Law, 2014

Aggregative Deontic Detachment for Normative Reasoning.

Xavier Parent, Leon van der Torre

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Compliance with Multiple Regulations.

Sepideh Ghanavati, Llio Humphreys, Guido Boella, Luigi Di Caro, Livio Robaldo, Leendert W. N. van der Torre

Proceedings of the Conceptual Modeling - 33rd International Conference, 2014

Social Interaction Based Audience Segregation for Online Social Networks.

Javed Ahmed, Guido Governatori, Leendert W. N. van der Torre, Serena Villata

Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Abduction and Dialogical Proof in Argumentation and Logic Programming.

Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre

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.

Xin Sun, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

"Sing and Dance!" - Input/Output Logics without Weakening.

Xavier Parent, Leendert W. N. van der Torre

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.

Dov M. Gabbay, Livio Robaldo, Xin Sun, Leendert W. N. van der Torre, Zohreh Baniasadi

Proceedings of the Deontic Logic and Normative Systems - 12th International Conference, 2014

An ASPIC-based legal argumentation framework for deontic reasoning.

Leendert W. N. van der Torre, Serena Villata

Proceedings of the Computational Models of Argument, 2014

Encompassing Uncertainty in Argumentation Schemes.

Pietro Baroni, Massimiliano Giacomin, Beishui Liao, Leon van der Torre

Proceedings of the Workshop on Frontiers and Connections between Argumentation Theory and Natural Language Processing, 2014

Reasoning on Robot Knowledge from Discrete and Asynchronous Observations.

Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos

Proceedings of the 2014 AAAI Spring Symposia, 2014

2013

A socio-cognitive model of trust using argumentation theory.

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre

Int. J. Approx. Reason., 2013

A Logical Theory about Dynamics in Abstract Argumentation.

Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre

Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Algorithms for Basic Compliance Problems.

Silvano Colombo Tosatto, Marwane El Kharbili, Guido Governatori, Pierre Kelsen, Qin Ma, Leendert W. N. van der Torre

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Managing legal interpretation in regulatory compliance.

Guido Boella, Marijn Janssen, Joris Hulstijn, Llio Humphreys, Leendert W. N. van der Torre

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

Monotonic and Nonmonotonic Inference for Abstract Argumentation.

Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre

Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

Normative Reasoning and Consequence.

Jan M. Broersen, Stephen Cranefield, Yehia Elrakaiby, Dov M. Gabbay, Davide Grossi, Emiliano Lorini, Xavier Parent, Leendert W. N. van der Torre, Luca Tummolini, Paolo Turrini, François Schwarzentruber

Proceedings of the Normative Multi-Agent Systems, 2013

Rewriting Rules for the Computation of Goal-Oriented Changes in an Argumentation System.

Dionysios Kontarinis, Elise Bonzon, Nicolas Maudet, Alan Perotti, Leon van der Torre, Serena Villata

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

Event-processing in autonomous robot programming.

Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Changing Commitments Based on Reasons and Assumptions.

Diana Marosin, Leendert W. N. van der Torre

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

Argumentation Theoretic Foundations for Abstract Dependence Networks.

Patrice Caire, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Agreement Technologies - Second International Conference, 2013

Integrating Legal-URN and Eunomos: Towards a Comprehensive Compliance Management Solution.

Guido Boella, Silvano Colombo Tosatto, Sepideh Ghanavati, Joris Hulstijn, Llio Humphreys, Robert Muthuri, André Rifaut, Leendert W. N. van der Torre

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2013

The Construction of Models and Roles in Normative Systems.

Alessio Antonini, Cecilia Blengino, Guido Boella, Leendert W. N. van der Torre

Proceedings of the AI Approaches to the Complexity of Legal Systems, 2013

2012

Normative Multi-Agent Systems (Dagstuhl Seminar 12111).

Giulia Andrighetto, Guido Governatori, Pablo Noriega, Leon van der Torre

Dagstuhl Reports, 2012

A logic of argumentation for specification and verification of abstract argumentation frameworks.

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Joris Hulstijn

Ann. Math. Artif. Intell., 2012

Modelling defeasible and prioritized support in bipolar argumentation.

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre

Ann. Math. Artif. Intell., 2012

Agent Programming Languages Requirements for Programming Autonomous Robots.

Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre

Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

NLP Challenges for Eunomos a Tool to Build and Manage Legal Knowledge.

Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Leon van der Torre

Proceedings of the Eighth International Conference on Language Resources and Evaluation, 2012

Abstract Normative Systems: Semantics and Proof Theory.

Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Beyond Maxi-Consistent Argumentation Operators.

Srdjan Vesic, Leendert W. N. van der Torre

Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Reasoning for Agreement Technologies.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the ECAI 2012, 2012

Visualizing Normative Systems: An Abstract Approach.

Silvano Colombo Tosatto, Guido Boella, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Discussion Paper: Changing Norms Is Changing Obligation Change.

Jan M. Broersen, Dov M. Gabbay, Leendert W. N. van der Torre

Proceedings of the Deontic Logic in Computer Science - 11th International Conference, 2012

Logics for Security and Privacy.

Leendert W. N. van der Torre

Proceedings of the Data and Applications Security and Privacy XXVI, 2012

Conditional Acceptance Functions.

Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre

Proceedings of the Computational Models of Argument, 2012

On Input/Output Argumentation Frameworks.

Pietro Baroni, Guido Boella, Federico Cerutti, Massimiliano Giacomin, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Computational Models of Argument, 2012

Contrary-To-Duties in Games.

Paolo Turrini, Xavier Parent, Leendert W. N. van der Torre, Silvano Colombo Tosatto

Proceedings of the Logic Programs, Norms and Action, 2012

Monitoring Interaction in Organisations.

Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VIII, 2012

Changing Agreements: Intention Reconsideration based on Assumptions and Reasons.

Diana Marosin, Henderik Alex Proper, Leendert W. N. van der Torre

Proceedings of the First International Conference on Agreement Technologies, 2012

Dependence Networks for Agreement Technologies.

Guido Boella, Patrice Caire, Leendert W. N. van der Torre, Serena Villata

Proceedings of the First International Conference on Agreement Technologies, 2012

Selecting judgment aggregation rules for NAO robots: an experimental approach.

Vijayalakshmi Ganesan, Sergio Sousa, Marija Slavkovik, Leendert W. N. van der Torre

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

A programming approach to monitoring communication in an organisational environment.

Mehdi Dastani, Leendert W. N. van der Torre, Neil Yorke-Smith

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

Learning and reasoning about norms using neural-symbolic systems.

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Alan Perotti, Leendert W. N. van der Torre

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

Ron van der Meyden, Leon van der Torre

J. Appl. Log., 2011

Time and defeasibility in FIPA ACL semantics.

Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert W. N. van der Torre

J. Appl. Log., 2011

A dynamic logic for privacy compliance.

Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre

Artif. Intell. Law, 2011

Judgment aggregation rules based on minimization.

Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Multi-sorted Argumentation.

Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert W. N. van der Torre

Proceedings of the Theorie and Applications of Formal Argumentation, 2011

Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems.

Antonino Rotolo, Leendert W. N. van der Torre

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Embedding Normative Reasoning into Neural Symbolic Systems.

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Leon van der Torre

Proceedings of the Seventh International Workshop on Neural-Symbolic Learning and Reasoning, 2011

Argumentative Agents Negotiating on Potential Attacks.

Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2011

Attack Semantics for Abstract Argumentation.

Serena Villata, Guido Boella, Leendert W. N. van der Torre

Proceedings of the IJCAI 2011, 2011

Conditional Labelling for Abstract Argumentation.

Alan Perotti, Guido Boella, Dov M. Gabbay, Leon van der Torre, Serena Villata

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

A Satisficing Agreements Model.

Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre

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.

Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the Lectures on Logic and Computation, 2011

Arguing about the Trustworthiness of the Information Sources.

Serena Villata, Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2011

Dynamics in Delegation and Revocation Schemes: A Logical Approach.

Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert W. N. van der Torre

Proceedings of the Data and Applications Security and Privacy XXV, 2011

Conviviality measures.

Patrice Caire, Baptiste Alcalde, Leendert W. N. van der Torre, Chattrakul Sombattheera

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

Neural symbolic architecture for normative agents.

Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert W. N. van der Torre

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.

Guido Boella, Llio Humphreys, Marco Martin, Piercarlo Rossi, Leendert W. N. van der Torre

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.

Leendert W. N. van der Torre

J. Appl. Non Class. Logics, 2010

The role of goals in belief selection.

Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert W. N. van der Torre

Log. J. IGPL, 2010

Convivial Ambient Technologies: Requirements, Ontology and Design.

Patrice Caire, Leendert W. N. van der Torre

Comput. J., 2010

Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving.

Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre

Proceedings of the STAIRS 2010, 2010

Group Intention = Social Choice + Commitment.

Marija Slavkovik, Guido Boella, Gabriella Pigozzi, Leon van der Torre

Proceedings of The Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW 2010), Lyon, France, August 30, 2010

A Logical Understanding of Legal Interpretation.

Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Higher-Order Coalition Logic.

Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre

Proceedings of the ECAI 2010, 2010

Deontic Redundancy: A Fundamental Challenge for Deontic Logic.

Leendert W. N. van der Torre

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Privacy Policies with Modal Logic: The Dynamic Turn.

Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Support in Abstract Argumentation.

Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2010, 2010

Group Intention Is Social Choice with Commitment.

Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems VI, 2010

2009

Preface for Studia Logica Special Issue (2).

Dov M. Gabbay, Leendert W. N. van der Torre

Stud Logica, 2009

Meta-Argumentation Modelling I: Methodology and Techniques.

Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata

Stud Logica, 2009

Fibred Security Language.

Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert W. N. van der Torre

Stud Logica, 2009

Norm negotiation in online multi-player games.

Guido Boella, Patrice Caire, Leendert W. N. van der Torre

Knowl. Inf. Syst., 2009

Analyzing Cooperation in Iterative Social Network Design.

Guido Boella, Leon van der Torre, Serena Villata

J. Univers. Comput. Sci., 2009

Algorithms for finding coalitions exploiting a new reciprocity condition.

Guido Boella, Luigi Sauro, Leendert W. N. van der Torre

Log. J. IGPL, 2009

A Middleware for Modeling Organizations and Roles in Jade.

Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert W. N. van der Torre

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics.

Guido Boella, Leon van der Torre, Serena Villata

Proceedings of the Second Multi-Agent Logics, 2009

Dependency in Cooperative Boolean Games.

Luigi Sauro, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2009

Five Guidelines for Normative Multiagent Systems.

Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre

Proceedings of the Legal Knowledge and Information Systems, 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.

Guido Boella, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre

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.

Guillaume Aucher, Guido Boella, Leendert W. N. van der Torre

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.

Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

On the Acceptability of Meta-arguments.

Guido Boella, Leendert W. N. van der Torre, Serena Villata

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Four measures for the dynamics of coalitions in social networks.

Guido Boella, Leendert W. N. van der Torre, Serena Villata

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.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the Fundamentals of Software Engineering, 2009

Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension.

Guido Boella, Souhila Kaci, Leendert W. N. van der Torre

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

FSL - Fibred Security Language.

Valerio Genovese, Dov M. Gabbay, Guido Boella, Leendert W. N. van der Torre

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

A Conviviality Measure for Early Requirement Phase.

Patrice Caire, Leendert W. N. van der Torre

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems.

Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Temporal dependence networks for the design of convivial multiagent systems.

Patrice Caire, Leendert W. N. van der Torre

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Conditional Dependence Networks in Requirements Engineering.

Guido Boella, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Coordination, 2009

Normative framework for normative system change.

Guido Boella, Gabriella Pigozzi, Leendert W. N. van der Torre

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Dynamics in argumentation with single extensions: attack refinement and the grounded extension.

Guido Boella, Souhila Kaci, Leendert W. N. van der Torre

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Social network semantics for agent communication.

Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Dynamics in Argumentation with Single Extensions: Attack Refinement and the Grounded Extension (Extended Version).

Guido Boella, Souhila Kaci, Leendert W. N. van der Torre

Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

A Complete Conclusion-Based Procedure for Judgment Aggregation.

Gabriella Pigozzi, Marija Slavkovik, Leendert W. N. van der Torre

Proceedings of the Algorithmic Decision Theory, First International Conference, 2009

Representing Excuses in Social Dependence Networks.

Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre, Serena Villata

Proceedings of the AI*IA 2009: Emergent Perspectives in Artificial Intelligence, 2009

2008

Substantive and procedural norms in normative multiagent systems.

Guido Boella, Leendert W. N. van der Torre

J. Appl. Log., 2008

Preference-based argumentation: Arguments supporting multiple values.

Souhila Kaci, Leendert W. N. van der Torre

Int. J. Approx. Reason., 2008

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

Souhila Kaci, Leendert W. N. van der Torre

Ann. Oper. Res., 2008

Institutions with a hierarchy of authorities in distributed dynamic environments.

Guido Boella, Leendert W. N. van der Torre

Artif. Intell. Law, 2008

Introduction to the special issue on normative multiagent systems.

Guido Boella, Leendert W. N. van der Torre, Harko Verhagen

Auton. Agents Multi Agent Syst., 2008

Self Adaptive Coalitions in Multiagent Systems.

Guido Boella, Leendert W. N. van der Torre, Serena Villata

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

Changing Institutional Goals and Beliefs of Autonomous Agents.

Guido Boella, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Social Viewpoints for Arguing about Coalitions.

Guido Boella, Leendert W. N. van der Torre, Serena Villata

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations.

Guido Boella, Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

A Normative View on the Blocks World.

Davide Grossi, Dov M. Gabbay, Leendert W. N. van der Torre

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

Adding Organizations and Roles as Primitives to JADE Framework.

Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre

Proceedings of the Third International Workshop on Normative Multiagent Systems, 2008

How to Program Organizations and Roles in the JADE Framework.

Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre

Proceedings of the Multiagent System Technologies, 6th German Conference, 2008

Preference Change Triggered by Belief Change: A Principled Approach.

Jérôme Lang, Leendert W. N. van der Torre

Proceedings of the Logic and the Foundations of Game and Decision Theory, 2008

Making Others Believe What They Want.

Guido Boella, Célia da Costa Pereira, Andrea Tettamanzi, Leendert W. N. van der Torre

Proceedings of the Artificial Intelligence in Theory and Practice II, 2008

From Belief Change to Preference Change.

Jérôme Lang, Leendert W. N. van der Torre

Proceedings of the ECAI 2008, 2008

Conditional Norms and Dyadic Obligations in Time.

Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the ECAI 2008, 2008

Adding Organizations and Roles as Primitives to the JADE Framework.

Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre, Mauro Dorni, Andrea Mugnaini, Valerio Genovese

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Ten Challenges for Normative Multiagent Systems.

Guido Boella, Leendert W. N. van der Torre, Harko Verhagen

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.

Yi Zhou, Leendert W. N. van der Torre, Yan Zhang

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Conviviality masks in multiagent systems.

Patrice Caire, Serena Villata, Guido Boella, Leendert W. N. van der Torre

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

From social power to social importance.

Guido Boella, Luigi Sauro, Leendert W. N. van der Torre

Web Intell. Agent Syst., 2007

Interaction between Objects in powerJava.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

J. Object Technol., 2007

Norm Negotiation in Multiagent Systems.

Guido Boella, Leendert W. N. van der Torre

Int. J. Cooperative Inf. Syst., 2007

Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture.

Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert W. N. van der Torre

Enterp. Model. Inf. Syst. Archit. Int. J. Concept. Model., 2007

Formal analysis of trace conditioning.

Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur

Cogn. Syst. Res., 2007

Roles, an interdisciplinary perspective.

Guido Boella, Leendert W. N. van der Torre, Harko Verhagen

Appl. Ontology, 2007

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

Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre

Appl. Ontology, 2007

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

Guido Boella, Leendert W. N. van der Torre

Artif. Intell. Law, 2007

Adding Roles to Relationship Patterns.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

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.

Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Reasoning about Norms, Obligations, Time and Agents.

Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Merging Roles in Coordination and in Agent Deliberation.

Guido Boella, Valerio Genovese, Roberto Grenna, Leendert W. N. van der Torre

Proceedings of the Agent Computing and Multi-Agent Systems, 2007

Power in Norm Negotiation.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2007

Relationships Meet Their Roles in Object Oriented Programming.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

On the Acceptability of Incompatible Arguments.

Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

Premise Independence in Judgment Aggregation.

Gabriella Pigozzi, Leendert W. N. van der Torre

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.

David Makinson, Leendert W. N. van der Torre

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

Ten Philosophical Problems in Deontic Logic.

Jörg Hansen, Gabriella Pigozzi, Leendert W. N. van der Torre

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

07122 Abstracts Collection - Normative Multi-agent Systems.

Guido Boella, Harko Verhagen, Leendert W. N. van der Torre

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

A Game-Theoretic Approach to Normative Multi-Agent Systems.

Guido Boella, Leendert W. N. van der Torre

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

Choosing Your Beliefs.

Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert W. N. van der Torre

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

An Attacker Model for Normative Multi-agent Systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Multi-Agent Systems and Applications V, 2007

Contextual deliberation of cognitive agents in defeasible logic.

Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert W. N. van der Torre

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.

Guido Boella, Leendert W. N. van der Torre

IEEE Trans. Syst. Man Cybern. Part A, 2006

A game theoretic approach to contracts in multiagent systems.

Guido Boella, Leendert W. N. van der Torre

IEEE Trans. Syst. Man Cybern. Part C, 2006

Preface.

Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden

Proceedings of the Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, 2006

List of reviewers.

Cristiano Castelfranchi, Paul Davidsson, André Meyer, Maria Fasli, Jan Odelstad, Guido Boella, Leendert W. N. van der Torre, Harko Verhagen

Comput. Math. Organ. Theory, 2006

Introduction to normative multiagent systems.

Guido Boella, Leendert W. N. van der Torre, Harko Verhagen

Comput. Math. Organ. Theory, 2006

Importing Agent-like Interaction in Object Orientation.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the 7th WOA 2006 Workshop, 2006

powerJava: ontologically founded roles in object oriented programming languages.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the Programming Multi-Agent Systems, 4th International Workshop, 2006

Interaction among objects via roles: sessions and affordances in Java.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the 4th International Symposium on Principles and Practice of Programming in Java, 2006

Modelling the Interaction Between Objects: Roles as Affordances.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the Knowledge Science, 2006

The Roles of Roles in Agent Communication Languages.

Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

Merging Optimistic and Pessimistic Preferences.

Souhila Kaci, Leendert W. N. van der Torre

Proceedings of the 9th International Conference on Information Fusion, 2006

Acyclic Argumentation: Attack = Conflict + Preference.

Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Fair Distribution of Collective Obligations.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Count-As Conditionals, Classification and Context.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Strengthening Admissible Coalitions.

Guido Boella, Luigi Sauro, Leendert W. N. van der Torre

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms.

Souhila Kaci, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

Delegation of Power in Normative Multiagent Systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

A Logical Architecture of a Normative System.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

A Foundational Ontology of Organizations and Roles.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Declarative Agent Languages and Technologies IV, 2006

Preface -- Workshop Trustworthy Software 2006.

Serge Autexier, Stephan Merz, Leendert W. N. van der Torre, Reinhard Wilhelm, Pierre Wolper

Proceedings of the Workshop "Trustworthy Software" 2006, 2006

Landscape Maps for Enterprise Architectures.

Leendert W. N. van der Torre, Marc M. Lankhorst, Hugo W. L. ter Doest, Jan T. P. Campschroer, Farhad Arbab

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

An architecture of a normative system: counts-as conditionals, obligations and permissions.

Guido Boella, Leendert W. N. van der Torre

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.

Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre

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

ACL Semantics Between Social Commitments and Mental Attitudes.

Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005

Beliefs, obligations, intentions, and desires as components in an agent architecture.

Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

Int. J. Intell. Syst., 2005

How to decide what to do?

Mehdi Dastani, Joris Hulstijn, Leendert W. N. van der Torre

Eur. J. Oper. Res., 2005

Coordination and Organization: Definitions, Examples and Future Research Directions.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the First International Workshop on Coordination and Organisation, 2005

Preface.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the First International Workshop on Coordination and Organisation, 2005

Interaction in Normative Multi-Agent Systems.

Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the Workshop on the Foundations of Interactive Computation, 2005

Roles as a Coordination Construct: Introducing powerJava.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, 2005

Social roles, from agents back to objects.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

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.

Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre

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.

Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre

Proceedings of the Programming Multi-Agent Systems, 2005

Programming Cognitive Agents in Defeasible Logic.

Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre

Proceedings of the Logic for Programming, 2005

Change impact analysis of enterprise architectures.

Frank S. de Boer, Marcello M. Bonsangue, Luuk Groenewegen, Andries Stam, S. Stevens, Leendert W. N. van der Torre

Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

The Evolution of Artificial Social Systems.

Guido Boella, Leendert W. N. van der Torre

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.

Guido Boella, Leendert W. N. van der Torre

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.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Role-based Rights in Arti.cial Social Systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Admissible Agreements among Goal-directed Agents.

Guido Boella, Luigi Sauro, Leendert W. N. van der Torre

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.

Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

Enterprise Architecture Analysis with XML.

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Virtual Organizations as Normative Multiagent Systems.

Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the 38th Hawaii International Conference on System Sciences (HICSS-38 2005), 2005

Algorithms for a Nonmonotonic Logic of Preferences.

Souhila Kaci, Leendert W. N. van der Torre

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2005

Constitutive Norms in the Design of Normative Multiagent Systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Semantic Analysis of Chisholm's Paradox.

Jan M. Broersen, Leendert W. N. van der Torre

Proceedings of the BNAIC 2005, 2005

Analyzing Control Trust in Normative Multiagent Systems.

Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the 18th Bled eConference: eIntegration in Action, 2005

Preferences of Agents in Defeasible Logic.

Mehdi Dastani, Guido Governatori, Antonino Rotolo, Leendert W. N. van der Torre

Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

Design by Contract Deontic Design Language for Multiagent Systems.

Christophe Garion, Leendert W. N. van der Torre

Proceedings of the Coordination, 2005

Organizations in Artificial Social Systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Coordination, 2005

Enforceable social laws.

Guido Boella, Leendert W. N. van der Torre

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

Reducing coalition structures via agreement specification.

Guido Boella, Luigi Sauro, Leendert W. N. van der Torre

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.

Guido Boella, Joris Hulstijn, Yao-Hua Tan, Leendert W. N. van der Torre

Proceedings of the Coordination, 2005

A Logic of Abstract Argumentation.

Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the Argumentation in Multi-Agent Systems, Second International Workshop, 2005

Formalisation and Analysis of the Temporal Dynamics of Conditioning.

Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert W. N. van der Torre, Jan Treur

Proceedings of the Agent-Oriented Software Engineering VI, 6th International Workshop, 2005

Argumentation for Access Control.

Guido Boella, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the AI*IA 2005: Advances in Artificial Intelligence, 2005

2004

Concepts For Modeling Enterprise Architectures.

Henk Jonkers, Marc M. Lankhorst, René van Buuren, Stijn Hoppenbrouwers, Marcello M. Bonsangue, Leendert W. N. van der Torre

Int. J. Cooperative Inf. Syst., 2004

Local vs Global Policies and Centralized vs Decentralized Control in Virtual Communities of Agents.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2004), 2004

Combining goal generation and planning in an argumentation framework.

Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

Regulative and Constitutive Norms in Normative Multiagent Systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Games for Cognitive Agents.

Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Using XML Transformations for Enterprise Architectures.

Joost Jacob, Frank S. de Boer, Marcello M. Bonsangue, Andries Stam, Leendert W. N. van der Torre

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004

Game Specification in Normative Multiagent System: The Trias Politica.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Fulfilling or Violating Obligations in Normative Multiagent Systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 2004 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT 2004), 2004

Power and Dependence Relations in Groups of Agents.

Guido Boella, Luigi Sauro, Leendert W. N. van der Torre

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.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

A Logical Viewpoint on Architectures.

Frank S. de Boer, Marcello M. Bonsangue, Joost Jacob, Andries Stam, Leendert W. N. van der Torre

Proceedings of the 8th International Enterprise Distributed Object Computing Conference (EDOC 2004), 2004

Negotiating the Distribution of Obligations with Sanctions among Autonomous Agents.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

An Abstraction from Power to Coalition Structures.

Guido Boella, Luigi Sauro, Leendert W. N. van der Torre

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Specifying Multiagent Organizations.

Leendert W. N. van der Torre, Joris Hulstijn, Mehdi Dastani, Jan M. Broersen

Proceedings of the Deontic Logic in Computer Science, 2004

Delta: The Social Delegation Cycle.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Deontic Logic in Computer Science, 2004

Inferring Trust.

Mehdi Dastani, Andreas Herzig, Joris Hulstijn, Leendert W. N. van der Torre

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.

Mehdi Dastani, Leendert W. N. van der Torre

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

Normative Multiagent Systems and Trust Dynamics.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Trusting Agents for Trusting Electronic Societies, 2004

Groups as Agents with Mental Attitudes.

Guido Boella, Leendert W. N. van der Torre

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.

Guido Boella, Leendert W. N. van der Torre

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

Social Viewpoints on Multiagent Systems.

Guido Boella, Luigi Sauro, Leendert W. N. van der Torre

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.

Guido Boella, Leendert W. N. van der Torre

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.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 6th International Conference on Electronic Commerce, 2004

2003

Permission from an Input/Output Perspective.

David Makinson, Leendert W. N. van der Torre

J. Philos. Log., 2003

Contextual Deontic Logic: Normative Agents, Violations and Independence.

Leendert W. N. van der Torre

Ann. Math. Artif. Intell., 2003

What an Agent Ought To Do.

Jan M. Broersen, Leendert W. N. van der Torre

Artif. Intell. Law, 2003

Policy Management for Virtual Communities of Agents.

Guido Boella, Leendert W. N. van der Torre

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.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 2003 IEEE / WIC International Conference on Web Intelligence, 2003

Decentralized Control: Obligations and Permissions in Virtual Communities of Agents.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Foundations of Intelligent Systems, 14th International Symposium, 2003

Hidden Uncertainty in the Logical Representation of Desires.

Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert

Proceedings of the IJCAI-03, 2003

BDIOCTL: Obligations and the Specification of Agent Behavior.

Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the IJCAI-03, 2003

Permissions and Obligations in Hierarchical Normative Systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

Rational Norm Creation.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 9th International Conference on Artificial Intelligence and Law, 2003

Norm Governed Multiagent Systems: The Delegation of Control to Autonomous Agents.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT 2003), 2003

Towards a Language for Coherent Enterprise Architecture Descriptions.

Henk Jonkers, René van Buuren, Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Hans Bosma, Hugo W. L. ter Doest, Luuk Groenewegen, Juan Guillen Scholten, Stijn Hoppenbrouwers, Maria-Eugenia Iacob, Wil Janssen, Marc M. Lankhorst, Diederik van Leeuwen, Erik Proper, Andries Stam, Leendert W. N. van der Torre, Gert Veldhuijzen van Zanten

Proceedings of the 7th International Enterprise Distributed Object Computing Conference (EDOC 2003), 2003

Attributing mental attitudes to normative systems.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Obligations as Social Constructs.

Guido Boella, Leendert W. N. van der Torre

Proceedings of the AI*IA 2003: Advances in Artificial Intelligence, 2003

2002

Realistic desires.

Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

J. Appl. Non Class. Logics, 2002

Utilitarian Desires.

Jérôme Lang, Leendert W. N. van der Torre, Emil Weydert

Auton. Agents Multi Agent Syst., 2002

What Is a Normative Goal?: Towards Goal-Based Normative Agent Architectures.

Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the Regulated Agent-Based Social Systems, First International Workshop, 2002

What is a joint goal? Games with beliefs and defeasible desires.

Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

An Extension of BDI_CTL with Functional Dependencies and Components.

Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the Logic for Programming, 2002

Specifying the Merging of Desires into Goals in the Context of Beliefs.

Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

Trust and Commitment in Dynamic Logic.

Jan M. Broersen, Mehdi Dastani, Zhisheng Huang, Leendert W. N. van der Torre

Proceedings of the EurAsia-ICT 2002: Information and Communication Technology, 2002

2001

Constraints for Input/Output Logics.

David Makinson, Leendert W. N. van der Torre

J. Philos. Log., 2001

Parameters for Utilitarian Desires in a Qualitative Decision Theory.

Leendert W. N. van der Torre, Emil Weydert

Appl. Intell., 2001

Resolving Conflicts between Beliefs, Obligations, Intentions, and Desires.

Jan M. Broersen, Mehdi Dastani, Leendert W. N. van der Torre

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2001

Negotiation protocols and dialogue games.

Mehdi Dastani, Joris Hulstijn, Leendert W. N. van der Torre

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

The BOID architecture: conflicts between beliefs, obligations, intentions and desires.

Jan M. Broersen, Mehdi Dastani, Joris Hulstijn, Zhisheng Huang, Leendert W. N. van der Torre

Proceedings of the Fifth International Conference on Autonomous Agents, 2001

2000

Input/Output Logics.

David Makinson, Leendert W. N. van der Torre

J. Philos. Log., 2000

1999

Contrary-to-duty reasoning with preference-based dyadic obligations.

Leendert W. N. van der Torre, Yao-Hua Tan

Ann. Math. Artif. Intell., 1999

Diagnosis and Decision Making in Normative Reasoning.

Leendert W. N. van der Torre, Yao-Hua Tan

Artif. Intell. Law, 1999

An Update Semantics for Defeasible Obligations.

Leendert W. N. van der Torre, Yao-Hua Tan

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.

Leendert W. N. van der Torre, Yao-Hua Tan

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

Defeasible Goals.

Leendert W. N. van der Torre

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

Violation Contexts and Deontic Independence.

Leendert W. N. van der Torre

Proceedings of the Modeling and Using Context, 1999

1998

Prohairetic Deontic Logic (PDL).

Leendert W. N. van der Torre, Yao-Hua Tan

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Phased Labeled Logics of Conditional Goals.

Leendert W. N. van der Torre

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

An Update Semantics for Prima Facie Obligations.

Leendert W. N. van der Torre, Yao-Hua Tan

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Labeled Logics of Conditional Goals.

Leendert W. N. van der Torre

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Formal Models of Control Systems.

Babak Sadighi Firozabadi, Leendert W. N. van der Torre

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

The Temporal Analysis of Chisholm's Paradox.

Leendert W. N. van der Torre, Yao-Hua Tan

Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998

1997

Contextual Deontic Logic.

Leendert W. N. van der Torre, Yao-Hua Tan

Proceedings of the Formal Models of Agents, 1997

The Role of Diagnosis and Decision Theory in Normative Reasoning.

Leendert W. N. van der Torre, Pedro Ramos, José Luiz Fiadeiro, Yao-Hua Tan

Proceedings of the Formal Models of Agents, 1997

Reasoning About Exceptions (Extended Abstract).

Leendert W. N. van der Torre, Yao-Hua Tan

Proceedings of the KI-97: Advances in Artificial Intelligence, 1997

Distinguishing Different Roles in Normative Reasoning.

Leendert W. N. van der Torre, Yao-Hua Tan

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.

Yao-Hua Tan, Leendert W. N. van der Torre

Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

1995

Cancelling and Overshadowing: Two Types of Defeasibility in Defeasible Deontic Logic.

Leendert W. N. van der Torre, Yao-Hua Tan

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Why Defeasible Deontic Logic needs a Multi Preference Semantics.

Yao-Hua Tan, Leendert W. N. van der Torre

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

Deontic and Diagnostic Reasoning.

Yao-Hua Tan, Leendert W. N. van der Torre

Proceedings of the ICLP 1994 Workshop W12: Legal Application of Logic Programming, 1994

Violated Obligations in a Defeasible Deontic Logic.

Leendert W. N. van der Torre

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Constructing Refinement Operators by Decomposing Logical Implication.

Shan-Hwei Nienhuys-Cheng, Patrick R. J. van der Laag, Leendert W. N. van der Torre

Proceedings of the Advances in Artificial Intelligence, 1993