| [138] | Arguing about Trust in Multiagent Systems (Serena Villata, Guido Boella, Dov M. Gabbay, Leendert van der Torre), In Proceedings of the 11th Symposium on Artificial Intelligence of the Italian Association for Artificial Intelligence (AIIA'10), 2010.
[bib] |
| [137] | A Middleware for Modelling Organizations and Roles in Jade (Matteo Baldoni, Guido Boella, Valerio Genovese, Andrea Mugnaini, Roberto Grenna, Leendert van der Torre), In Post-proceedings of the 7th International Workshop on Programming Multi-Agent Systems (Promas 2009), 2010.
[bib] |
| [136] | Input/output logics (Xavier Parent, Leendert van der Torre), In 9th De Morgan Workshop on Deontic Logic, 2009.
[bib] |
| [135] | Normative multi-agent systems (Xavier Parent, Leendert van der Torre, Guido Boella), Tutorial at the European Agent Systems Summer School (EASSS'09), Torino, 2009. (Tutorial at the European Agent Systems Summer School (EASSS'09), Torino)
[bib] |
| [134] | A complete conclusion-based procedure for judgment aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), Technical report, University of Luxembourg, 2009.
[bib] [pdf] |
| [133] | Formal ex-post rationalization - A complete conclusion-based procedure for judgment aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Proceedings of the Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 09), 2009. (3-5 June 2009, Lannion, France)
[bib] |
| [132] | A complete conclusion-based procedure for judgment aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Proceedings of the First International Conference on Algorithmic Decision Theory (ADT), Springer Verlag, volume 5783, 2009.
[bib] |
| [131] | Fibred Security Language (Guido Boella, Dov Gabbay, Valerio Genovese, Leendert van der Torre), In Studia Logica, volume 92, 2009.
[bib] [pdf] |
| [130] | Preface for Studia Logica Special Issue (2) (Dov M. Gabbay, Leendert van der Torre), In Studia Logica, volume 93, 2009.
[bib] |
| [129] | Meta-Argumentation Modelling I: Methodology and Techniques (Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata), In Studia Logica, volume 93, 2009.
[bib] |
| [128] | Algorithms for finding coalitions exploiting a new reciprocity condition (Guido Boella, Luigi Sauro, Leendert W. N. van der Torre), In Logic Journal of the IGPL, volume 17, 2009.
[bib] [pdf] |
| [127] | Dependency in Cooperative Boolean Games (Luigi Sauro, Leendert van der Torre, Serena Villata), In Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3-5, 2009. Proceedings (Anne H\aakansson, Ngoc Thanh Nguyen, Ronald L. Hartung, Robert J. Howlett, Lakhmi C. Jain, eds.), Springer, volume 5559, 2009.
[bib] |
| [126] | it Lex Minus Dixit Quam Voluit, it Lex Magisit Dixit Quam Voluit: A Formal Study on Legal Compliance and Interpretation (Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre), In AICOL Workshops, 2009.
[bib] |
| [125] | Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic (Guillaume Aucher, Guido Boella, Leendert van der Torre), In AICOL Workshops, 2009.
[bib] |
| [124] | Programming Normative Artifacts with Declarative Obligations and Prohibitions (Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre), In IAT, 2009.
[bib] |
| [123] | Four measures for the dynamics of coalitions in social networks (Guido Boella, Leendert van der Torre, Serena Villata), In HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 - July 1, 2009 (Ciro Cattuto, Giancarlo Ruffo, Filippo Menczer, eds.), ACM, 2009.
[bib] |
| [122] | Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension (Guido Boella, Souhila Kaci, Leendert van der Torre), In Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings (Claudio Sossai, Gaetano Chemello, eds.), Springer, volume 5590, 2009.
[bib] |
| [121] | Conditional Dependence Networks in Requirements Engineering (Guido Boella, Leendert van der Torre, Serena Villata), In COIN@AAMAS&IJCAI&MALLOW, 2009.
[bib] |
| [120] | Normative framework for normative system change (Guido Boella, Gabriella Pigozzi, Leendert van der Torre), In The 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 1 (Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, eds.), IFAAMAS, 2009.
[bib] |
| [119] | Dynamics in argumentation with single extensions: attack refinement and the grounded extension (Guido Boella, Souhila Kaci, Leendert van der Torre), In AAMAS (2), 2009.
[bib] |
| [118] | Social network semantics for agent communication (Guido Boella, Joris Hulstijn, Leendert van der Torre), In 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2 (Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, eds.), IFAAMAS, 2009.
[bib] |
| [117] | Dynamics in Argumentation with Single Extensions: Attack Refinement and the Grounded Extension (Extended Version) (Guido Boella, Souhila Kaci, Leendert van der Torre), In ArgMAS, 2009.
[bib] |
| [116] | A Complete Conclusion-Based Procedure for Judgment Aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20-23, 2009. Proceedings (Francesca Rossi, Alexis Tsoukiàs, eds.), Springer, volume 5783, 2009.
[bib] |
| [115] | A Conviviality Measure for Early Requirement Phase of Multiagent System Design (Patrice Caire, Leendert van der Torre), In Normative Multiagent Systems, 2009.
[bib] |
| [114] | The Design of Convivial Multiagent Systems (Patrice Caire, Leendert van der Torre), In Social Networks and Multiagent Systems symposium; Artificial Intelligence and Simulation of Behaviour, AISB, 2009.
[bib] |