| [264] | A Logical Understanding of Legal Interpretation (Guido Boella, Guido Governatori, Antonino Rotolo, Leendert van der Torre), In KR (Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski, eds.), AAAI Press, 2010.
[bib] [pdf] |
| [263] | Higher-Order Coalition Logic (Guido Boella, Dov M. Gabbay, Valerio Genovese, Leendert van der Torre), In ECAI (Helder Coelho, Rudi Studer, Michael Wooldridge, eds.), IOS Press, volume 215, 2010.
[bib] [pdf] |
| [262] | Deontic Redundancy: A Fundamental Challenge for Deontic Logic (Leendert van der Torre), In DEON (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010.
[bib] [pdf] |
| [261] | Privacy Policies with Modal Logic: The Dynamic Turn (Guillaume Aucher, Guido Boella, Leendert van der Torre), In DEON (Guido Governatori, Giovanni Sartor, eds.), Springer, volume 6181, 2010.
[bib] [pdf] |
| [260] | Support in Abstract Argumentation (D. M. Gabbay, G. Boella, L. van der Torre, S. Villata), In Proceedings of COMMA 2010, 2010.
[bib] [pdf] |
| [259] | Trust in Abstract Argumentation (Guido Boella, Leendert van der Torre, Serena Villata), In Proceedings of the 4th Mahasarakham International Workshop on Artificial Intelligence (MIWAI'10), 2010.
[bib] [pdf] |
| [258] | Group Intentions are Social Choice with Commitment (Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Procs. of the 8th European Workshop on Multi-agent Systems (EUMAS'10), 2010.
[bib] [pdf] |
| [257] | Group Intentions are Social Choice with Commitment (Guido Boella, Gabriella Pigozzi, Marija Slavkovik, Leendert van der Torre), In Procs. of the 11th International Workshop on Coordination, Optimization, Institution and Norms in Multiagent Systems (COIN@MALLOW'10), 2010.
[bib] [pdf] |
| [256] | Support in Abstract Argumentation (Guido Boella, Dov M. Gabbay, Leendert van der Torre, Serena Villata), In Proceedings of the Third International Conference on Computational Models of Argument (COMMA'10), Frontiers in Artificial Intelligence and Applications, IOS Press, 2010.
[bib] [pdf] |
| [255] | 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] [pdf] |
| [254] | 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] [pdf] |
| [253] | Input/output logics (Xavier Parent, Leendert van der Torre), In 9th De Morgan Workshop on Deontic Logic, 2009.
[bib] [pdf] |
| [252] | 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] |
| [251] | 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] |
| [250] | 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] |
| [249] | 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] |
| [248] | 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] |
| [247] | 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] |
| [246] | 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] |
| [245] | 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] |
| [244] | 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] |
| [243] | 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] |
| [242] | 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] |
| [241] | 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] |
| [240] | 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] |