| [41] | Input/output logics (Xavier Parent, Leendert van der Torre), In 9th De Morgan Workshop on Deontic Logic, 2009.
[bib] [pdf] |
| [40] | 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] [pdf] |
| [39] | A complete conclusion-based procedure for judgment aggregation (Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), Technical report, University of Luxembourg, 2009.
[bib] [pdf] |
| [38] | 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] [pdf] |
| [37] | 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] [pdf] |
| [36] | Fibred Security Language (Guido Boella, Dov Gabbay, Valerio Genovese, Leendert van der Torre), In Studia Logica, volume 92, 2009.
[bib] [pdf] |
| [35] | Preface for Studia Logica Special Issue (2) (Dov M. Gabbay, Leendert van der Torre), In Studia Logica, volume 93, 2009.
[bib] [pdf] |
| [34] | 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] [pdf] |
| [33] | 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] |
| [32] | 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] [pdf] |
| [31] | 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 (Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani, eds.), Springer, volume 6237, 2009.
[bib] [pdf] |
| [30] | Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic (Guillaume Aucher, Guido Boella, Leendert van der Torre), In AICOL Workshops (Pompeu Casanovas, Ugo Pagallo, Giovanni Sartor, Gianmaria Ajani, eds.), Springer, volume 6237, 2009.
[bib] [pdf] |
| [29] | 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, IEEE, 2009.
[bib] [pdf] |
| [28] | Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2009, Milan, Italy, 15-18 September 2009, IEEE, 2009.
[bib] |
| [27] | 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] [pdf] |
| [26] | 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] [pdf] |
| [25] | Conditional Dependence Networks in Requirements Engineering (Guido Boella, Leendert van der Torre, Serena Villata), In COIN@AAMAS&IJCAI&MALLOW (Julian A. Padget, Alexander Artikis, Wamberto Weber Vasconcelos, Kostas Stathis, Viviane Torres da Silva, Eric T. Matson, Axel Polleres, eds.), Springer, volume 6069, 2009.
[bib] [pdf] |
| [24] | 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] [pdf] |
| [23] | Dynamics in argumentation with single extensions: attack refinement and the grounded extension (Guido Boella, Souhila Kaci, Leendert van der Torre), In AAMAS (2) (Carles Sierra, Cristiano Castelfranchi, Keith S. Decker, Jaime Simão Sichman, eds.), IFAAMAS, 2009.
[bib] [pdf] |
| [22] | 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] [pdf] |
| [21] | 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] |
| [20] | Dynamics in Argumentation with Single Extensions: Attack Refinement and the Grounded Extension (Extended Version) (Guido Boella, Souhila Kaci, Leendert van der Torre), In ArgMAS (Peter McBurney, Iyad Rahwan, Simon Parsons, Nicolas Maudet, eds.), Springer, volume 6057, 2009.
[bib] [pdf] |
| [19] | 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] [pdf] |
| [18] | A Conviviality Measure for Early Requirement Phase of Multiagent System Design (Patrice Caire, Leendert van der Torre), In Normative Multiagent Systems, 2009.
[bib] [pdf] |
| [17] | 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] [pdf] |