| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Paolo Turrini, Xavier Parent, Leendert van der Torre, Silvano Colombo Tosatto |
Contrary-To-Duties in Games.  |
Logic Programs, Norms and Action  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre |
Time and defeasibility in FIPA ACL semantics. |
J. Applied Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Guido Boella, Leendert van der Torre |
A dynamic logic for privacy compliance. |
Artif. Intell. Law |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata |
Conditional Labelling for Abstract Argumentation. |
TAFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tjitze Rienstra, Alan Perotti, Serena Villata, Dov M. Gabbay, Leendert van der Torre |
Multi-sorted Argumentation. |
TAFA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serena Villata, Guido Boella, Leendert van der Torre |
Attack Semantics for Abstract Argumentation. |
IJCAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre |
Arguing about the Trustworthiness of the Information Sources. |
ECSQARU |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre |
A Satisficing Agreements Model. |
Web Intelligence/IAT Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Dov M. Gabbay, Alan Perotti, Leendert van der Torre, Serena Villata |
Argumentative Agents Negotiating on Potential Attacks. |
KES-AMSTA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonino Rotolo, Leendert van der Torre |
Rules, Agents and Norms: Guidelines for Rule-Based Normative Multi-Agent Systems. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Caire, Baptiste Alcalde, Leendert van der Torre, Chattrakul Sombattheera |
Conviviality measures. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Silvano Colombo Tosatto, Artur S. d'Avila Garcez, Valerio Genovese, Dino Ienco, Leendert van der Torre |
Neural symbolic architecture for normative agents. |
AAMAS |
2011 |
DBLP BibTeX RDF |
|
| 1 | Guillaume Aucher, Steve Barker, Guido Boella, Valerio Genovese, Leendert van der Torre |
Dynamics in Delegation and Revocation Schemes: A Logical Approach. |
DBSec |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Lang, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre |
Judgment aggregation rules based on minimization. |
TARK |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ron van der Meyden, Leon van der Torre |
Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science (DEON 2008). |
J. Applied Logic |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, Leon van der Torre (eds.) |
Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings |
CLIMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre |
The role of goals in belief selection. |
Logic Journal of the IGPL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Caire, Leendert van der Torre |
Convivial Ambient Technologies: Requirements, Ontology and Design. |
Comput. J. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Guido Boella, Leendert van der Torre |
Privacy Policies with Modal Logic: The Dynamic Turn. |
DEON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leendert van der Torre |
Deontic Redundancy: A Fundamental Challenge for Deontic Logic. |
DEON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre |
Higher-Order Coalition Logic. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre |
A Logical Understanding of Legal Interpretation. |
KR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre |
Group Intention Is Social Choice with Commitment. |
COIN@AAMAS&MALLOW |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Leendert W. N. van der Torre |
Violation games: a new foundation for deontic logic. |
Journal of Applied Non-Classical Logics |
2010 |
DBLP BibTeX RDF |
|
| 1 | Valerio Genovese, Daniele Rispoli, Dov M. Gabbay, Leendert W. N. van der Torre |
Modal Access Control Logic - Axiomatization, Semantics and FOL Theorem Proving. |
STAIRS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Dov M. Gabbay, Leendert W. N. van der Torre, Serena Villata |
Support in Abstract Argumentation. |
COMMA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marija Slavkovik, Guido Boella, Gabriella Pigozzi, Leon van der Torre |
Group Intention = Social Choice + Commitment. |
MALLOW |
2010 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Patrice Caire, Leendert van der Torre |
Norm negotiation in online multi-player games. |
Knowl. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Multi-player online games, Normative multi-agent systems, Social delegation cycle, Dependence networks, Agent communication protocols |
| 1 | Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre |
Fibred Security Language. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
Fibring, Access Control, Logic, Trust Management, Language-based Security |
| 1 | Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata |
Meta-Argumentation Modelling I: Methodology and Techniques. |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
Abstract Argumentation, Modelling, Artificial Intelligence, Reasoning |
| 1 | Dov M. Gabbay, Leendert van der Torre |
Preface for Studia Logica Special Issue (2). |
Studia Logica |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Gabriella Pigozzi, Leendert van der Torre |
Five Guidelines for Normative Multiagent Systems. |
JURIX |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Aucher, Guido Boella, Leendert van der Torre |
Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic. |
AICOL Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre |
Lex Minus Dixit Quam Voluit, Lex Magis Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation. |
AICOL Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Guido Boella, Leendert van der Torre |
The Interplay between Relationships, Roles and Objects. |
FSEN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Souhila Kaci, Leendert van der Torre |
Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension. |
ECSQARU |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Jan Broersen, Leendert van der Torre, Serena Villata |
Representing Excuses in Social Dependence Networks. |
AI*IA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre, Serena Villata |
On the Acceptability of Meta-arguments. |
IAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Luigi Sauro, Leendert van der Torre, Serena Villata |
Dependency in Cooperative Boolean Games. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert van der Torre |
A Middleware for Modeling Organizations and Roles in Jade. |
PROMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre, Serena Villata |
Four measures for the dynamics of coalitions in social networks. |
Hypertext |
2009 |
DBLP DOI BibTeX RDF |
social dependence networks, measures, requirements engineering |
| 1 | Guido Boella, Souhila Kaci, Leendert van der Torre |
Dynamics in Argumentation with Single Extensions: Attack Refinement and the Grounded Extension (Extended Version). |
ArgMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre |
A Complete Conclusion-Based Procedure for Judgment Aggregation. |
ADT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Gabriella Pigozzi, Leendert van der Torre |
Normative framework for normative system change. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
input/output logic, norm change, belief revision, normative systems |
| 1 | Guido Boella, Joris Hulstijn, Leendert van der Torre |
Social network semantics for agent communication. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Caire, Leendert van der Torre |
Temporal dependence networks for the design of convivial multiagent systems. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
TROPOS, conviviality, multiagent systems, dependence networks |
| 1 | Guido Boella, Souhila Kaci, Leendert van der Torre |
Dynamics in argumentation with single extensions: attack refinement and the grounded extension. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
abstract argumentation, argumentation refinement, dynamics of argumentation, argumentation theory |
| 1 | Guido Boella, Leendert van der Torre, Serena Villata |
Conditional Dependence Networks in Requirements Engineering. |
COIN@AAMAS&IJCAI&MALLOW |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Luigi Sauro, Leendert W. N. van der Torre |
Algorithms for finding coalitions exploiting a new reciprocity condition. |
Logic Journal of the IGPL |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre |
Programming Normative Artifacts with Declarative Obligations and Prohibitions. |
IAT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leon van der Torre, Serena Villata |
Analyzing Cooperation in Iterative Social Network Design. |
J. UCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leon van der Torre, Serena Villata |
Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics. |
MALLOW |
2009 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre |
Substantive and procedural norms in normative multiagent systems. |
J. Applied Logic |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Souhila Kaci, Leendert van der Torre |
Reasoning with various kinds of preferences: logic, non-monotonicity, and algorithms. |
Annals OR |
2008 |
DBLP DOI BibTeX RDF |
Logic of preferences, Preference logic |
| 1 | Guido Boella, Leendert van der Torre |
Institutions with a hierarchy of authorities in distributed dynamic environments. |
Artif. Intell. Law |
2008 |
DBLP DOI BibTeX RDF |
Institutions, Permissions, Normative systems |
| 1 | Souhila Kaci, Leendert van der Torre |
Preference-based argumentation: Arguments supporting multiple values. |
Int. J. Approx. Reasoning |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre, Harko Verhagen |
Introduction to the special issue on normative multiagent systems. |
Autonomous Agents and Multi-Agent Systems |
2008 |
DBLP DOI BibTeX RDF |
Normative multiagent systems, Social mechanism design, Artifical social systems, Multiagent Systems, Norms |
| 1 | Ron van der Meyden, Leendert van der Torre (eds.) |
Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings |
DEON |
2008 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre, Serena Villata |
Self Adaptive Coalitions in Multiagent Systems. |
SASO |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Célia da Costa Pereira, Andrea Tettamanzi, Leendert van der Torre |
Making Others Believe What They Want. |
IFIP AI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Lang, Leendert van der Torre |
From Belief Change to Preference Change. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Leendert van der Torre |
Conditional Norms and Dyadic Obligations in Time. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Lang, Leendert van der Torre |
Preference Change Triggered by Belief Change: A Principled Approach. |
LOFT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Guido Governatori, Joris Hulstijn, Régis Riveret, Antonino Rotolo, Leendert van der Torre |
Time and Defeasibility in FIPA ACL Semantics. |
Web Intelligence/IAT Workshops |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre |
How to Program Organizations and Roles in the JADE Framework. |
MATES |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrice Caire, Serena Villata, Guido Boella, Leendert van der Torre |
Conviviality masks in multiagent systems. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Zhou, Leendert van der Torre, Yan Zhang |
Partial goal satisfaction and goal change: weak and strong partial implication, logical properties, complexity. |
AAMAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, Dov M. Gabbay, Leendert van der Torre |
A Normative View on the Blocks World. |
NORMAS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Matteo Baldoni, Valerio Genovese, Roberto Grenna, Leendert van der Torre |
Adding Organizations and Roles as Primitives to JADE Framework. |
NORMAS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre, Serena Villata |
Changing Institutional Goals and Beliefs of Autonomous Agents. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Jan Broersen, Leendert van der Torre |
Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre, Serena Villata |
Social Viewpoints for Arguing about Coalitions. |
PRIMA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre |
Norm Negotiation in Multiagent Systems. |
Int. J. Cooperative Inf. Syst. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Frank S. de Boer, Marcello M. Bonsangue, Marc M. Lankhorst, Erik Proper, Leendert van der Torre |
Integrating Architectural Models - Symbolic, Semantic and Subjective Models in Enterprise Architecture. |
Enterprise Modelling and Information Systems Architectures |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert van der Torre, Harko Verhagen |
Roles, an interdisciplinary perspective. |
Applied Ontology |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Rossana Damiano, Joris Hulstijn, Leendert van der Torre |
A common ontology of agent communication languages: Modeling mental attitudes and social commitments using roles. |
Applied Ontology |
2007 |
DBLP BibTeX RDF |
|
| 1 | Tibor Bosse, Catholijn M. Jonker, Sander A. Los, Leendert van der Torre, Jan Treur |
Formal analysis of trace conditioning. |
Cognitive Systems Research |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Baldoni, Guido Boella, Leendert van der Torre |
Relationships Meet Their Roles in Object Oriented Programming. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jérôme Lang, Leendert van der Torre |
From belief change to preference change. |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre |
Choosing Your Beliefs. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Gabriella Pigozzi, Leendert van der Torre |
Premise Independence in Judgment Aggregation. |
Formal Models of Belief Change in Rational Agents |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre |
Contextual deliberation of cognitive agents in defeasible logic. |
AAMAS |
2007 |
DBLP DOI BibTeX RDF |
rule-based systems, defeasible logic, cognitive agents |
| 1 | Guido Boella, Valerio Genovese, Roberto Grenna, Leendert van der Torre |
Merging Roles in Coordination and in Agent Deliberation. |
PRIMA |
2007 |
DBLP DOI BibTeX RDF |
O.O. Modeling, Security, MAS, Organizations, Roles |
| 1 | Jan Broersen, Leendert van der Torre |
Reasoning about Norms, Obligations, Time and Agents. |
PRIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song, Leendert van der Torre |
Contextual Agent Deliberation in Defeasible Logic. |
PRIMA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Luigi Sauro, Leendert W. N. van der Torre |
From social power to social importance. |
Web Intelligence and Agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre |
Interaction between Objects in powerJava. |
Journal of Object Technology |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leendert W. N. van der Torre |
The ontological properties of social roles in multi-agent systems: definitional dependence, powers and roles playing roles. |
Artif. Intell. Law |
2007 |
DBLP DOI BibTeX RDF |
input/output logics, ontologies, multi-agent systems, social roles |
| 1 | Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre |
Adding Roles to Relationship Patterns. |
WOA |
2007 |
DBLP BibTeX RDF |
|
| 1 | Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert |
On the Acceptability of Incompatible Arguments. |
ECSQARU |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Leendert W. N. van der Torre |
What an Agent Ought To Do. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert W. N. van der Torre, Harko Verhagen |
Introduction to Normative Multiagent Systems. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jörg Hansen, Gabriella Pigozzi, Leendert W. N. van der Torre |
Ten Philosophical Problems in Deontic Logic. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert W. N. van der Torre, Harko Verhagen (eds.) |
Normative Multi-agent Systems, 18.03. - 23.03.2007 |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | David Makinson, Leendert W. N. van der Torre |
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Harko Verhagen, Leendert W. N. van der Torre |
07122 Abstracts Collection - Normative Multi-agent Systems. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert W. N. van der Torre |
A Game-Theoretic Approach to Normative Multi-Agent Systems. |
Normative Multi-agent Systems |
2007 |
DBLP BibTeX RDF |
|
| 1 | Guido Boella, Leendert W. N. van der Torre |
Power in Norm Negotiation. |
KES-AMSTA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Guido Boella, Leendert W. N. van der Torre |
An Attacker Model for Normative Multi-agent Systems. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")