ICRcsc|≡

Research

publications 2009

  1. Guido Boella, Jan Broersen, Leendert van der Torre and Serena Villata. A Normative Multiagent Approach to Requirements Engineering. Postproceedings COIN@AAMAS 2009. LNCS. Springer 2009.
  2. Guido Boella, Valerio Genovese, Dov Gabbay and Leendert van der Torre. A Multimodal view on Access Control and Trust Management: Fibred Security Language. Proceedings of STM09. 2009.
  3. Guido Boella, Jan Broersen, Leendert van der Torre and Serena Villata. Representing Excuses in Social Dependence Networks. AI*IA. LNCS. Springer 2009.
  4. Guido Boella and Leendert van der Torre. The Interplay between Relationships, Roles and Objects. Proceedings of FSEN09. LNCS. Springer 2009.
  5. Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, Andrea Mugnaini and Leendert van der Torre. A Middleware for modeling Organizations and Roles in Jade. Proceedings of PROMAS. 2009.
  6. Guido Boella, Leender van der Torre and Serena villata. Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics. Proceedings of COIN. 2009.
  7. Guido Boella, Leendert van der Torre and Serena Villata. A Normative Multiagent Approach to Requirements Engineering. SNAMAS. 2009.
  8. Guido Boella, Leendert van der Torre and Serena Villata. Analyzing Cooperation in Iterative Social Network Design. Journal of Universal Computer. To appear. 2009.
  9. Guido Boella, Gabriella Pigozzi and Leendert van der Torre. Normative framework for normative system change. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker and Jaime Simão Sichman (Eds.), The 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10–15, 2009, Volume 1. pp. 169–176. IFAAMAS 2009.
  10. Guido Boella, Souhila Kaci and Leendert van der Torre. Dynamics in argumentation with single extensions: attack refinement and the grounded extension. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker and Jaime Simão Sichman (Eds.), 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10–15, 2009, Volume 2. pp. 1213–1214. IFAAMAS 2009.
  11. Guido Boella, Joris Hulstijn and Leendert van der Torre. Social network semantics for agent communication. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker and Jaime Simão Sichman (Eds.), 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10–15, 2009, Volume 2. pp. 1215–1216. IFAAMAS 2009.
  12. Patrice Caire and Leendert van der Torre. Temporal dependence networks for the design of convivial multiagent systems. In Carles Sierra, Cristiano Castelfranchi, Keith S. Decker and Jaime Simão Sichman (Eds.), 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10–15, 2009, Volume 2. pp. 1317–1318. IFAAMAS 2009.
  13. Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. A Complete Conclusion-Based Procedure for Judgment Aggregation. In Francesca Rossi and Alexis Tsoukiäs (Eds.), Algorithmic Decision Theory, First International Conference, ADT 2009, Venice, Italy, October 20–23, 2009. Proceedings. Lecture Notes in Computer Science, 5783. pp. 1–13. Springer 2009.
  14. Guido Boella, Souhila Kaci and Leendert van der Torre. Dynamics in Argumentation with Single Extensions: Abstraction Principles and the Grounded Extension. In Claudio Sossai and Gaetano Chemello (Eds.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Lecture Notes in Computer Science, 5590. pp. 107–118. Springer 2009.
  15. Guido Boella, Leendert van der Torre and Serena Villata. Four measures for the dynamics of coalitions in social networks. In Ciro Cattuto, Giancarlo Ruffo and Filippo Menczer (Eds.), HYPERTEXT 2009, Proceedings of the 20th ACM Conference on Hypertext and Hypermedia, Torino, Italy, June 29 – July 1, 2009. pp. 361–362. ACM 2009.
  16. Luigi Sauro, Leendert van der Torre and Serena Villata. Dependency in Cooperative Boolean Games. In Anne Håkansson, Ngoc Thanh Nguyen, Ronald L. Hartung, Robert J. Howlett and Lakhmi C. Jain (Eds.), Agent and Multi-Agent Systems: Technologies and Applications, Third KES International Symposium, KES-AMSTA 2009, Uppsala, Sweden, June 3–5, 2009. Proceedings. Lecture Notes in Computer Science, 5559. pp. 1–10. Springer 2009.
  17. Guido Boella, Luigi Sauro and Leendert W. N. van der Torre. Algorithms for finding coalitions exploiting a new reciprocity condition. Logic Journal of the IGPL. 17(3). pp. 273–297. 2009.
  18. Guido Boella, Dov Gabbay, Valerio Genovese and Leendert van der Torre. Fibred Security Language. Studia Logica. 92(3). pp. 395–436. 2009.
  19. Martin Caminada and Dov Gabbay. A logical account of formal argumentation. Studia Logica. To appear. 2009.
  20. Guido Boella, Dov Gabbay, Leendert van der Torre and Serena Villata. Meta-Argumentation part 1. Studia Logica. To appear. 2009.
  21. S. Barker, Guido Boello, Dov Gabbay and Valerio Genovese. A meta-model of Access Control in a Fibred Security Language. Studia Logica. 92(3). pp. 437–477. 2009.
  22. Dov Gabbay. Semantics for higher level attacks in extended argumentation frames. Studia Logica. 2009.
  23. Patrice Caire. Designing Convivial Digital Cities: A Social Intelligence Design Approach. AI Society Journal. 24(1). pp. 97–114. 2009.
  24. Patrice Caire and Leendert van der Torre. Convivial ambient technologies: Requirements, ontology, and design. The Computer Journal. 3. 2009.
  25. Guido Boella, Patrice Caire and Leendert van der Torre. Norm Negotiation in Online Multi-Player Games. Knowledge Information System Journal. 18(2). pp. 137–156. 2009.
  26. Patrice Caire. How to import the concept of conviviality to web communities. International Journal of Web Based Communities (IJWBC). 3. 2009.
  27. Patrice Caire and Leendert van der Torre. Temporal Dependence Networks for the Design of Convivial Multiagent Systems. Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS. pp. 1317–1318. 2009.
  28. Patrice Caire and Leendert van der Torre. The Design of Convivial Multiagent Systems. Social Networks and Multiagent Systems symposium; Artificial Intelligence and Simulation of Behaviour, AISB. 2009.
  29. Patrice Caire and Leendert van der Torre. A Conviviality Measure for Early Requirement Phase of Multiagent System Design. Normative Multiagent Systems. 2009.
  30. Martin W. A. Caminada and Yining Wu. An Argument Game for Stable Semantics. Logic Journal of the IGPL. 17(1). pp. 77–90. 2009.
  31. Martin W. A. Caminada and Gabriella Pigozzi. On Judgment Aggregation in Abstract Argumentation. JAAMAS special issue on Computational Social Choice. To appear. 2009.
  32. Yining Wu, Martin W. A. Caminada and Dov Gabbay. Complete Extensions in Argumentation Coincide with 3–Valued Stable Models in Logic Programming. Studia Logica. To appear. 2009.
  33. S. Modgil and Martin W. A. Caminada. Proof Theories and Algorithms for Abstract Argumentation Frameworks. In I. Rahwan and G. Simari (Eds.), Argumentation in Artificial Intelligence. pp. 105–129. 2009.
  34. Patrizio Barbini, Yining Wu and Martin Caminada. An Implementation of Argument Based Discussion. AAMAS 2009. (demonstrator). 2009.
  35. Yining Wu and Martin W. A. Caminada. Complete Extensions in Argumentation Coincide with 3–Valued Stable Models in Logic Programming. BNAIC 2009. To appear. 2009.
  36. Martin W. A. Caminada. Truth, Lies and BS; distinguishing classes of dishonesty. BNAIC 2009. Short paper (to appear). 2009.
  37. Eugen Staab and Martin W. A. Caminada. Simulating Knowledge and Dishonesty in a Client-Consultant Setting. BNAIC 2009. demonstrator (to appear). 2009.
  38. Martin W. A. Caminada. Truth, Lies and Bullshit; distinguishing classes of dishonesty. Social Simulation workshop (SS@IJCAI). pp. 39–50. 2009.
  39. Eugen Staab and Martin W. A. Caminada. Assessing the Impact of Informedness on a Consultant’s Profit. 2009.
  40. Martin W. A. Caminada. An Introduction to Formal Argumenation. Tutorial at the International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, California. 2009.
  41. Xavier Parent. A complete axiom set for Hansson's deontic logic DSDL2. Logic Journal of the IGPL. To appear. 2009.
  42. Xavier Parent and Leendert van der Torre. Input/output logics. 9th De Morgan Workshop on Deontic Logic. 2009.
  43. Xavier Parent, Leendert van der Torre and Guido Boella. Normative multi-agent systems. Tutorial at the European Agent Systems Summer School (EASSS'09), Torino. 2009.
  44. Guido Boella, Costa C. da Pereira, Gabriella Pigozzi, A. Tettamanzi and Leendert van der Torre. The role of goals in belief selection. Logic Journal of the IGPL. forthcoming (Advance Access published on September 9, 2009). 2009.
  45. Gabriella Pigozzi. Aggregation problems and models: what comes first?. In Stadler F. et al. (Ed.), The Present Situation in the Philosophy of Science. To appear. Springer 2009.
  46. Guido Boella, Gabriella Pigozzi and Leendert van der Torre. Five guidelines for normative multiagent systems. Proceedings of JURIX 2009 – The 22nd International Conference on Legal Knowledge and Information Systems. Frontiers in Artificial Intelligence and Applications. To appear. IOS Press 2009.
  47. Davide Grossi, Gabriella Pigozzi and Marija Slavkovik. White Manipulation in Judgment Aggregation. Proceedings of BNAIC 2009 – The 21st Benelux Conference on Artificial Intelligence (to appear). 2009.
  48. Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. A complete conclusion-based procedure for judgment aggregation. Proceedings of the First International Conference on Algorithmic Decision Theory (ADT). Lecture Notes in Artificial Intelligence, 5783. pp. 1–13. Springer Verlag 2009.
  49. Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. Formal ex-post rationalization - A complete conclusion-based procedure for judgment aggregation. Proceedings of the Cinquièmes Journées Francophones Modèles Formel de l'Interaction (MFI 09). 3–5 June 2009, Lannion, France. 2009.
  50. Guido Boella, Gabriella Pigozzi and Leendert van der Torre. Normative framework for normative system change. Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 09). (nominated for the Best Paper Award), 10–15 May 2009, Budapest, Hungary. 2009.
  51. Guido Boella, Gabriella Pigozzi and Leendert van der Torre. Normative systems in computer science. Ten guidelines for normative multiagent systems. In Guido Boella, P. Noriega, Gabriella Pigozzi and H. Verhagen (Eds.), Normative Multi-Agent Systems, Dagstuhl Seminar Proceedings 09121. 15–20 March 2009, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. 2009.
  52. Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. A complete conclusion-based procedure for judgment aggregation. 2009.
  53. Guillaume Aucher. Generalizing AGM to a multi-agent setting. Logic journal of the IGPL. To appear. 2009.
  54. Guillaume Aucher. An internal version of epistemic logic. Studia logica. To appear. 2009.
  55. Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro and Andreas Herzig. Global and local graph modifiers. Electronic Notes in Theoretical Computer Science. 231. pp. 293–307. Elsevier 2009.
  56. Guillaume Aucher and Andreas Herzig. Exploring the power of converse events. The Dynamic Turn in Epistemology. logic, epistemology and the unity of science. To appear. Springer 2009.
  57. Guillaume Aucher. BMS revisited. In Aviad Heifetz (Ed.), Proceedings of the 12th conference on Theoretical Aspects of Rationality and Knowledge (TARK 2009). pp. 24–33. Stanford 2009.
  58. Guillaume Aucher, Davide Grossi, Andreas Herzig and Emiliano Lorini. Dynamic context logic. In X. He, J. Horty and E. Pacuit (Eds.), Proceedings of Logic, Rationality and Interaction (LORI 2009). Lecture Notes in Artificial Intelligence, 5884. pp. 15–26. Springer Verlag 2009.
  59. Guillaume Aucher, Davide Grossi, Andreas Herzig and Emiliano Lorini. Dynamic context logic and its application to norm change. In Guido Boella, Pablo Noriega, Gabriella Pigozzi and Harko Verhagen (Eds.), Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings. Extended abstract. 2009.

publications 2008

  1. Igor Carboni Oliveira and Walter Carnielli. The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories. Logic Journal of IGPL. 16(6). pp. 585–590. 2008.
  2. Walter Carnielli, João Rasga and Cristina Sernadas. Preservation of interpolation features by fibring. Journal of Logic and Computation. 18(1). pp. 123–151. 2008.
  3. Walter Carnielli and Francisco Dória. Are the foundations of computer science logic-dependent?. In CDédric Dégremont, Laurent Keiff and Helge RŸckert (Eds.), Dialogues, Logics and Other Strange Things–Essays in Honour of Shahid Rahman. pp. 87–107. College Publications 2008.
  4. Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia and Cristina Sernadas. Analysis and synthesis of logics. Applied Logic Series, 35. pp. xvi+600. Springer 2008.
  5. Walter Carnielli and Claudio Pizzi. Modalities and Multimodalities. Logic, Epistemology, and the Unity of Science, 12. pp. xiv+306. Springer 2008.
  6. Richard L. Epstein and Walter Carnielli. Computability: Computable Functions, Logic, and the Foundations of Mathematics. 3rd. Edition. pp. 384. Advanced Reasoning Forum 2008.
  7. Patrizio Barbini, Guido Boella, Pier-Carlo Rossi and Leendert van der Torre. E-business Outsourcing: a New Approach combining Information Rights Technologies and Agent-Based Theory on Norms. Proceedings of the International Conference on Electronic Commerce in the 21th Century (ECIC-2008). pp. 93–96. Central Department of Computer Science and Information Technology, Institute of Science and Technology, Tribhuvan University 2008.
  8. Guido Boella, Célia Costa da Pereira, Andrea Tettamanzi and Leendert van der Torre. Making Others Believe What They Want. In Max Bramer (Ed.), Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008 Stream, September 7–10, 2008, Milano, Italy. IFIP, 276. pp. 215–224. Springer 2008.
  9. Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna and Leendert van der Torre. How to Program Organizations and Roles in the JADE Framework. In Ralph Bergmann, Gabriela Lindemann, Stefan Kirn and Michal Pechoucek (Eds.), Multiagent System Technologies, 6th German Conference, MATES 2008, Kaiserslautern, Germany, September 23–26, 2008. Proceedings. Lecture Notes in Computer Science, 5244. pp. 25–36. Springer 2008.
  10. Guido Boella, Leendert van der Torre and Serena Villata. Social Viewpoints for Arguing about Coalitions. In The Duy Bui, Tuong Vinh Ho and Quang-Thuy Ha (Eds.), Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15–16, 2008. Proceedings. Lecture Notes in Computer Science, 5357. pp. 66–77. Springer 2008.
  11. Guido Boella, Leendert van der Torre and Serena Villata. Changing Institutional Goals and Beliefs of Autonomous Agents. In The Duy Bui, Tuong Vinh Ho and Quang-Thuy Ha (Eds.), Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15–16, 2008. Proceedings. Lecture Notes in Computer Science, 5357. pp. 78–85. Springer 2008.
  12. Guido Boella, Jan Broersen and Leendert van der Torre. Reasoning about Constitutive Norms, Counts-As Conditionals, Institutions, Deadlines and Violations. In The Duy Bui, Tuong Vinh Ho and Quang-Thuy Ha (Eds.), Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15–16, 2008. Proceedings. Lecture Notes in Computer Science, 5357. pp. 86–97. Springer 2008.
  13. Guido Boella and Leendert van der Torre. Institutions with a hierarchy of authorities in distributed dynamic environments. Artif. Intell. Law. 16(1). pp. 53–71. 2008.
  14. Guido Boella, Leendert van der Torre and Harko Verhagen. Introduction to the special issue on normative multiagent systems. Autonomous Agents and Multi-Agent Systems. 17(1). pp. 1–10. 2008.
  15. Souhila Kaci and Leendert van der Torre. Preference-based argumentation: Arguments supporting multiple values. Int. J. Approx. Reasoning. 48(3). pp. 730–751. 2008.
  16. Guido Boella and Leendert van der Torre. Substantive and procedural norms in normative multiagent systems. J. Applied Logic. 6(2). pp. 152–171. 2008.
  17. Jan Broersen and Leendert van der Torre. Conditional norms and dyadic obligations. Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008). 2008.
  18. Souhila Kaci and Leendert van der Torre. Reasoning With Various Kinds of Preferences: Logic, Non-Monotonicity, and Algorithms. Annals of Operations Research. 163(1). pp. 89–114. 2008.
  19. Jerome Lang and Leendert van der Torre. From belief change to preference change. Proceedings of Eighteenth European Conference on Artificial Intelligence (ECAI2008). 2008.
  20. Antonino Rotolo, Guido Boella, Guido Governatori, Joris Hulstijn, Regis Riveret and Leendert van der Torre. Time and Defeasibility in FIPA ACL Semantics. Proceedings of WLIAMAS 2008. IEEE 2008.
  21. Guido Boella, Leendert van der Torre and Serena Villata. Self Adaptive Coalitions in Multiagent Systems. Proceedings of the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2008). pp. 461–462. IEEE 2008.
  22. Valerio Genovese, Roberto Grenna, Leendert van der Torre and Matteo Baldoni. Adding Organizations and Roles as Primitives to JADE Framework. In Guido Boella, Munindar Singh, Gabriella Pigozzi and Harko Verhagen (Eds.), Proceedings of the 3rd International Workshop on Normative Multiagent Systems, NorMAS'08. pp. 95–111. 2008.
  23. Patrice Caire, Serena Villata, Guido Boella and Leendert van der Torre. Conviviality masks in multiagent systems. In Lin Padgham, David C. Parkes, Jörg Müller and Simon Parsons (Eds.), 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12–16, 2008, Volume 3. pp. 1265–1268. IFAAMAS 2008.
  24. Patrice Caire. Designing convivial digital cities. 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12–16, 2008, Doctoral Mentoring Program. pp. 1727–1729. IFAAMAS 2008.
  25. Guillaume Aucher. Internal models and private multi-agent belief revision. In Lin Padgham, David C. Parkes, Jörg Müller and Simon Parsons (Eds.), 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), Estoril, Portugal, May 12–16, 2008, Volume 2. pp. 721–727. IFAAMAS 2008.
  26. Guillaume Aucher. Consistency Preservation and Crazy Formulas in BMS. In Steffen Hölldobler, Carsten Lutz and Heinrich Wansing (Eds.), Logics in Artificial Intelligence, 11th European Conference, JELIA 2008, Dresden, Germany, September 28 – October 1, 2008. Proceedings. Lecture Notes in Computer Science, 5293. pp. 21–33. Springer 2008.
  27. Guillaume Aucher. Refinement on the notion of event. Prague International Colloquium: Logic of change, change of logic, LOCCOL'08. pp. 17–18. 2008.
  28. Mathijs de Boer, Andreas Herzig, Tiago de Lima and Emiliano Lorini. What do we accept after an announcement?. Prague International Colloquium: Logic of change, change of logic, LOCCOL'08. pp. 21–22. 2008.
  29. Mathijs de Boer and Emil Weydert. Changing Attitudes About Attitude Change. Prague International Colloquium: Logic of change, change of logic, LOCCOL'08. pp. 23–24. 2008.
  30. Davide Grossi, Dov Gabbay and Leendert van der Torre. A Normative View on The Blocks World. In Guido Boella, Munindar Singh, Gabriella Pigozzi and Harko Verhagen (Eds.), Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08). pp. 128–142. 2008.
  31. Davide Grossi. Linguistic Relevance in Modal Logic. In A. Nijholt, M. Pantic, M. Poel and G. H. W. Hondorp (Eds.), Proceedings of the 20th Belgian-Netherlands Conference on Artificial Intelligence (BNAIC'08). 2008.
  32. C. Biagioli and Davide Grossi. Formal Aspects of Legislative Meta Drafting. In Giovanni Sartor, E. Francesconi and D. Tiscornia (Eds.), Proceedings of the 21st International Conference on Legal Knowledge and Information Systems (JURIX'08). 2008.
  33. J. Vazquez-Salceda, Huib Aldewereld, Davide Grossi and Frank Dignum. From Human Regulations to Regulated Software Agents’ Behavior. Artificial Intelligence and Law. 16(1). pp. 73–87. 2008.
  34. Davide Grossi, John-Jules Meyer and Frank Dignum. The Many Faces of Counts-as: A Formal Analysis of Constitutive-rules. Journal of Applied Logic. 6(2). pp. 192–217. Elsevier 2008.
  35. Davide Grossi. Pushing Anderson's Envelope: The Modal Logic of Ascription. In Ron van der Meyden and Leendert van der Torre (Eds.), Proceedings of the 9th International Conference on Deontic Logic in Computer Science (DEON 2008), Luxembourg, Luxembourg, July 15–18, 2008th International Workshop on Deontic Logic in Computer Science (DEON 2008), Luxembourg, Luxembourg, July 15–18, 2008. LNAI, (5076/2008). pp. 263–277. Springer 2008.
  36. Farah Benamara, Souhila Kaci and Gabriella Pigozzi. Collective Decision Making with Individual Confidence Scores in the Decision Rule. In Roy B. V. Paschos (Ed.), Annales du Lamsade, Proceedings of the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory. pp. 29–45. 2008.
  37. Farah Benamara, Souhila Kaci and Gabriella Pigozzi. Judgment Aggregation with Rule Confidence Scores. In M. Pagnucco and M. Thielscher (Eds.), Proceedings of the Twelfth International Workshop on Non-Monotonic Reasoning (NMR'08). pp. 2–9. 2008.
  38. Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. Desirable Tie-breaking Rules in Collective Decision Making. In Roy B. V. Paschos (Ed.), Annales du Lamsade, Proceedings of the DIMACS-LAMSADE Workshop on Algorithmic Decision Theory. pp. 171–174. 2008.
  39. Gabriella Pigozzi and Leendert van der Torre. From belief change to norm change. Prague International Colloquium: Logic of change, change of logic, LOCCOL'08. pp. 51–52. 2008.
  40. Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. Conclusion-based procedure for judgment aggregation satisfying premise independence. In G. Bonanno, B. Lowe and W. van der Hoek (Eds.), Proceedings of the Eighth International Conference on Logic and the Foundations of Game and Decision Theory, LOFT 2008. pp. 35. 2008.
  41. Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. Independence in judgment aggregation. Proceedings of the Ninth International Meeting of the Society for Social Choice and Welfare, SCW'08. 2008.
  42. Guido Boella, Gabriella Pigozzi, Munindar Singh and Harko Verhagen. Editorial to the Third International Workshop on Normative Multiagent Systems. In Guido Boella, Munindar Singh, Gabriella Pigozzi and Harko Verhagen (Eds.), Proceedings of the 3rd International Workshop on Normative Multiagent Systems (NorMAS'08). pp. i-v. 2008.
  43. Martin Caminada. A formal account of Socratic-style argumentation. Journal of Applied Logic. 6(1). pp. 109–132. 2008.
  44. Paul E. Dunne and Martin Caminada. Computational Complexity of Semi-stable Semantics in Abstract Argumentation Frameworks. In Steffen Hölldobler, Carsten Lutz and Heinrich Wansing (Eds.), Logics in Artificial Intelligence, 11th European Conference (JELIA 2008). Lecture Notes in Computer Science, 5293. pp. 153–165. Springer 2008.
  45. Martin Caminada. On the Issue of Contraposition of Defeasible Rules. In Philippe Besnard, Sylvie Doutre and Anthony Hunter (Eds.), Computational Models of Argument: Proceedings of COMMA 2008. Frontiers in Artificial Intelligence and Applications, 172. pp. 109–115. IOS Press 2008.
  46. Martin Caminada. An Algorithm for Semi-Stable Semantics. In Anton Nijholt, Maja Pantic, Mannes Poel and Hendri Hondorp (Eds.), Proceedings of BNAIC 2008, the twentieth Belgian-Dutch Artificial Intelligence Conference. pp. 291–292. 2008.
  47. Martin Caminada and Yining Wu. Towards and Argument Game for Stable Semantics. In Anton Nijholt, Maja Pantic, Mannes Poel and Hendri Hondorp (Eds.), Proceedings of BNAIC 2008, the twentieth Belgian-Dutch Artificial Intelligence Conference. pp. 293–294. 2008.
  48. Martin Caminada and Yining Wu. Towards and Argument Game for Stable Semantics. In Rodger Kibble Floriana Grasso Nancy Green and Chris Reed (Eds.), Proceedings of the 8th workshop on Computational Models of Natural Argument (CMNA 2008). pp. 11–15. 2008.
  49. Dov M. Gabbay, DÕAvila A. S. Garcez and L. C. Lamb. Connectionist Non-classical Logics: Distributed Reasoning & Learning in Neural Networks. Springer-Verlag 2008.
  50. Dov M. Gabbay, G. Metcalfe and N. Olivetti. Proof theory for Fuzzy logics. Springer 2008.
  51. Dov M. Gabbay, R. Schmidt and A. Szalas. Second-order Quantifier Elimination. College publications 2008.
  52. Dov M. Gabbay and John Woods. Resource-origins of Nonmonotonicity. Studia Logica. 88(1). pp. 85–112. 2008.
  53. Dov M. Gabbay and A. Pnueli. A Sound and Complete Deductive System for CTL Verification. Logic Journal of IGPL. 16(6). pp. 499–536. December 2008.
  54. Dov M. Gabbay, Odinaldo Rodrigues and Alessandra Russo. Belief Revision in Non-classical Logic II. The Review of Symbolic Logic. 1. pp. 267–304. October 2008.
  55. Dov M. Gabbay, Odinaldo Rodrigues and Alessandra Russo. Belief Revision. Handbook of Philosophical Logic. 2008.
  56. Dov M. Gabbay, M. D'Agostino and M. Finger. Cut-Based Abduction. Logic Journal of IGPL. 16(6). pp. 537–560. 2008.
  57. Dov M. Gabbay. Reactive Kripke Models and Contrary to Duty Obligations. In Ron van der Meyden and Leendert van der Torre (Eds.), Deontic Logic in Computer Science, 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15–18, 2008. Proceedings. Lecture Notes in Computer Science, 5076. pp. 155–173. Springer 2008.
  58. Dov M. Gabbay and K. Schlechta. Cumulativity without closure of the domain under finite unions. The Review of Symbolic Logic. 1. pp. 267–304. October 2008.
  59. Dov M. Gabbay. Introducing Reactive Kripke Semantics and Arc Accessibility. In Arnon Avron, Nachum Dershowitz and Alexander Rabinovich (Eds.), Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Lecture Notes in Computer Science, 4800. pp. 292–341. Springer 2008.

publications 2007

  1. F. Arbab, F. S. de Boer, M. Bonsangue, M. M. Lankhorst, H. A. Proper and L. van der Torre. Integrating Architectural Models. Enterprise Modelling and Information Systems Architectures. 1(2). pp. 0–57. 2007.
  2. Arnon Avron, Jonathan Ben-Naim and Beata Konikowska. Cut-free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Journal Logica Universalis. 1(1). pp. 41–70. 2007.
  3. Matteo Baldoni, Guido Boella and Leendert van der Torre. Interaction between Objects in powerJava. Journal of Object Technology. 6(2). 2007.
  4. G. Boella, R. Damiano, J. Hulstijn and L. van der Torre. A Common Ontology of Agent Communication Languages: Modeling Mental Attitudes and Social Commitments using Roles. Applied Ontology. (2). pp. 217–265. 2007.
  5. G. Boella, L. Sauro and L. van der Torre. From Social Power to Social Importance. Web Intelligence and Agent Systems journal. (5). pp. 393–404. 2007.
  6. Guido Boella and Leendert van der Torre. Norm negotiation in multiagent systems. International Journal of Cooperative Information Systems (IJCIS) Special Issue: Emergent Agent Societies. 16(2). 2007.
  7. Guido Boella, powers Leendert van der Torre title = The ontological properties of social roles in multi-agent systems: Definitional dependence and roles playing roles. Artificial Intelligence and Law Journal (AILaw). 15(3). pp. 201–221. 2007.
  8. T. Bosse, C. M. Jonker, S. A. Los, L. van der Torre and J. Treur. Formal analysis of trace conditioning. Cognitive Systems Research Journal. 8(1). pp. 36–47. 2007.
  9. Matteo Baldoni, Guido Boella and Leendert W. N. van der Torre. Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects. In Rafael H. Bordini, Mehdi Dastani, Jörgen Dix and Amal El Fallah-Seghrouchni (Eds.), Programming Multi-Agent Systems, 4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers. Lecture Notes in Computer Science, 4411. pp. 149–164. 2007.
  10. Matteo Baldoni, Guido Boella and Leendert van der Torre. Relationships Meet Their Roles in Object Oriented Programming. In Farhad Arbab and Marjan Sirjani (Eds.), International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17–19 2007, Proceedings. Lecture Notes in Computer Science, 4767. pp. 440–448. Springer 2007.
  11. Jonathan Ben-Naim and Emil Weydert. On Agent Prioritization in Trust Networks. In Mehdi Dastani and Edwin de Jong (Eds.), Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007). 2007.
  12. Guido Boella, Celia Costa da Pereira, Gabriella Pigozzi, Andrea Tettamanzi and Leendert and van der Torre. What You should Believe. In Mehdi Dastani and Edwin de Jong (Eds.), Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007). 2007.
  13. Guido Boella, Valerio Genovese, Roberto Grenna and Leendert van der Torre. Merging Roles in Coordination and in Agent Deliberation. PRIMA. Lecture Notes in Computer Science. Springer 2007.
  14. Leendert Torre W. N. van der Guido Boella. An Attacker Model for Normative Multi-agent Systems. In Hans-Dieter Burkhard, Gabriela Lindemann and László Zsolt Varga Rineke Verbrugge (Eds.), Multi-Agent Systems and Applications V, 5th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2007, Leipzig, Germany, September 25–27, 2007, Proceedings. Lecture Notes in Computer Science, 4696. pp. 42–51. Springer 2007.
  15. Guido Boella and Leendert W. N. van der Torre. Power in Norm Negotiation. In Ngoc Thanh Nguyen, Adam Grzech, Robert J. Howlett and Lakhmi C. Jain (Eds.), Agent and Multi-Agent Systems: Technologies and Applications, First KES International Symposium, KES-AMSTA 2007, Wroclaw, Poland, May 31 – June 1, 2007, Proceedings. Lecture Notes in Computer Science, 4496. pp. 436–446. Best paper award. Springer 2007.
  16. Mathijs de Boer. KE Tableaux for Public Announcement Logic. Proceedings of the Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007), Durham, UK. 2007.
  17. Jan Broersen and Leendert van der Torre. Reasoning About Norms, Obligations, Time and Agents. PRIMA. Lecture Notes in Computer Science. Springer 2007.
  18. Patrice Caire. Conviviality for Digital Cities: A Normative Multi-Agent Systems Approach. In Mehdi Dastani and Edwin de Jong (Eds.), Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007). 2007.
  19. Patrice Caire. A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities. In Pablo Noriega and Julian Padget (Eds.), Proceedings of The International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN). Durham, UK, 15–26, Aug. 2007.
  20. Martin Caminada. An Algorithm for Computing Semi-Stable Semantics. ECSQARU 2007. Lecture Notes in Artificial Intelligence, 4724. pp. 222–234. Springer 2007.
  21. Martin Caminada. Comparing Two Unique Extension Semantics for Formal Argumentation: Ideal and Eager. BNAIC 2007. pp. 81–87. 2007.
  22. Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song and Leendert van der Torre. Contextual Agent Deliberation in Defeasible Logic. PRIMA. Lecture Notes in Computer Science. Springer 2007.
  23. G. Governatori, M. Dastani, A. Rotolo, I. Song and L. van der Torre. Contextual Deliberation of Cognitive Agents in Defeasible Logic (poster). Proceedings of AAMAS07. .
  24. Souhila Kaci, Leendert W. N. van der Torre and Emil Weydert. On the Acceptability of Incompatible Arguments. In Khaled Mellouli (Ed.), Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 – November 2, 2007, Proceedings. Lecture Notes in Computer Science, 4724. pp. 247–258. Springer 2007.
  25. Gabriella Pigozzi and Stephan Hartmann. Aggregation in Multi-Agent Systems and the Problem of Truth-Tracking. Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 07), 14–18 May 2007, Honolulu, Hawaii, USA. pp. 674–676. 2007.
  26. Gabriella Pigozzi and Stephan Hartmann. Judgment Aggregation and the Problem of Truth-Tracking. Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), 25–27 June 2007, Brussels, Belgium. pp. 248–252. 2007.
  27. M. Baldoni, G. Boella and L. van der Torre. Adding Roles to Relationship Patterns. Proceedings of WOA07. 2007.
  28. M. Baldoni, G. Boella, V. Genovese and L. van der Torre. Roles in Coordination and in Agent Deliberation: A Merger of Concepts. Proceedings of AWESOME07. 2007.
  29. Jonathan Ben-Naim and Emil Weydert. Information Merging with Trust (extended abstract). Workshop on Logics and Collective Decision making (LCD'07). 2007.
  30. G. Boella, J. Hulstijn, G. Governatori, R. Riveret, A. Rotolo and L. van der Torre. FIPA Communicative Acts in Defeasible Logic. Proceedings of NRAC'07. 2007.
  31. G. Boella, R. Damiano, J. Hulstijn and L. van der Torre. Distinguishing Propositional and Action Commitment in Agent Communication. Proceedings of CMNA'07. 2007.
  32. Guido Boella and Leendert W. N. van der Torre. A Game-Theoretic Approach to Normative Multi-Agent Systems. Normative Multi-agent Systems. 2007.
  33. Guido Boella, Célia Da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi and Leendert van der Torre. Choosing Your Beliefs. Normative Multi-agent Systems. 2007.
  34. Guido Boella, Leendert W. N. van der Torre and Harko Verhagen. Introduction to Normative Multiagent Systems. Normative Multi-agent Systems. 2007.
  35. Patrice Caire. A critical discussion on the use of the notion of conviviality for digital cities. Proceedings of Web Communities 2007, Salamanca, Spain, February 2007. pp. 193–200. 2007.
  36. Patrice Caire. Conviviality for Ambient Intelligence. In Patrick Olivier and Christian Kray (Eds.), Proceedings of Artificial Societies for Ambient Intelligence, Artificial Intelligence and Simulation of Behaviour (AISB'07), Newcastle upon Tyne, UK, May 2007. pp. 14–19. 2007.
  37. Patrice Caire. Designing Convivial Digital Cities. In A. Nijholt, O. Stock and T. Nishida (Eds.), Proceedings of the 6th Workshop on Social Intelligence Design (SID'07). pp. 25–40. 2007.
  38. M. Caminada and J. Ben-Naim. Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming. (UU-CS-2007-004). 2007.
  39. Dov Gabbay, Gabriella Pigozzi and Odinaldo Rodrigues. Common Foundations for Belief Revision, Belief Merging and Voting. Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, 07531. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI) 2007.
  40. Jörg Hansen, Gabriella Pigozzi and Leendert W. N. van der Torre. Ten Philosophical Problems in Deontic Logic. Normative Multi-agent Systems. 2007.
  41. G. Pigozzi and L. van der Torre. Premise Independence in Judgment Aggregation. Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, 07531. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI) 2007.
  42. Emil Weydert. Ranking revision reloaded (extended abstract). Formal Models of Belief Change in Rational Agents. Dagstuhl Seminar Proceedings, 07531. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI) 2007.
  43. Emil Weydert. Quality, quantity, and beyond. In Benedikt Löwe, Eric Pacuit and Jan-Willem Romeijn (Eds.), Foundations of the Formal Sciences VI - Reasoning about Probabilities and Probabilistic Reasoning. Extended version, to appear. College Publications 2007.

publications 2006

  1. G. Boella and Torre L. van der (Eds.). Preface. Electronic Notes in Theoretical Computer Science (ENTCS) Procs. of the First International Workshop on Coordination and Organisation (CoOrg 2005). 150(3). pp. 1–2. 2006.
  2. G. Boella, L. van der Torre and Verhagen H. (eds). Computation and Mathematical Organizational Theory, Special issue on Normative Multiagent Systems. 12(2-3). 2006.
  3. M. Baldoni, G. Boella and L. van der Torre. Roles as a Coordination Construct: Introducing powerJava. Electronic Notes in Theoretical Computer Science (ENTCS) Procs. of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005). 150(1). pp. 9–29. 2006.
  4. M. Baldoni, G. Boella and L. van der Torre. I fondamenti ontologici dei linguaggi di programmazione orientati agli oggetti: i casi delle relazioni e dei ruoli. Networks, rivista di filosofia dell'intelligenza artificiale e scienze cognitive. 6. 2006.
  5. G. Boella and L. van der Torre. Coordination and Organization: Definitions, Examples and Future Research Directions. Electronic Notes in Theoretical Computer Science (ENTCS). 150(3). pp. 3–20. 2006.
  6. G. Boella and L. van der Torre. A Game Theoretic Approach to Contracts in Multiagent Systems. IEEE Transactions on Systems, Man and Cybernetics - Part C: Applications and Reviews. 36(1). pp. 68–79. 2006.
  7. G. Boella and L. van der Torre. Security Policies for Sharing Knowledge in Virtual Communities. IEEE Transactions on Systems, Man and Cybernetics - Part A: Systems and Humans. 36(3). pp. 439–450. 2006.
  8. G. Boella, L. van der Torre and H. Verhagen. Introduction to normative multiagent systems. Computation and Mathematical Organizational Theory, Special issue on Normative Multiagent Systems. 12(2-3). pp. 71–79. 2006.
  9. G. Pigozzi. Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation. Synthese. 152(2). pp. 285–298. 2006.
  10. M. Baldoni, G. Boella and L. van der Torre. Bridging Agent Theory and Object Orientation: Importing Social Roles in Object Oriented Languages. Programming Multi-Agent Systems, Third International Workshop, ProMAS 2005. LNCS, 3862. pp. 57–75. Springer 2006.
  11. M. Baldoni, G. Boella and L. van der Torre. Modelling the Interaction Between Objects: Roles as Affordances. Knowledge Science, Engineering and Management, First International Conference, KSEM 2006. LNCS, 4092. pp. 42–54. Springer 2006.
  12. G. Boella, R. Damiano, J. Hulstijn and L. van der Torre. ACL Semantics between Social Commitments and Mental Attitudes. International Workshops on Agent Communication, AC 2005 and AC 2006. LNAI, 3859. pp. 30–44. Springer 2006.
  13. G. Boella, J. Hulstijn and L. van der Torre. A Logic of Abstract Argumentation. In S. Parsons, N. Maudet, P. Moraitis and I. Rahwan (Eds.), Argumentation in Multi-Agent Systems, Second International Workshop, ArgMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised Selected and Invited Papers. Lecture Notes in Computer Science, 4049. pp. 29–41. Springer 2006.
  14. G. Boella, J. Hulstijn, Y. Tan and L. van der Torre. Modeling Control Mechanisms with Normative Multiagent Systems: The Case of the Renewables Obligation. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005. LNAI, 3913. pp. 114–126. Springer 2006.
  15. G. Boella and L. van der Torre. Constitutive Norms in the Design of Normative Multiagent Systems. Computational Logic in Multi-Agent Systems, 6th International Workshop (CLIMA VI). LNCS, 3900. pp. 303–319. Springer 2006.
  16. G. Boella and L. van der Torre. Organizations in Artificial Social Systems. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005. LNAI, 3913. pp. 198–210. Springer 2006.
  17. G. Boella and L. van der Torre. A Logical Architecture of a Normative System. Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (ΔEON'06). LNCS, 4048. pp. 24–35. Springer 2006.
  18. G. Boella and L. van der Torre. Delegation of Power in Normative Multiagent Systems. Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science (ΔEON'06). LNCS, 4048. pp. 36–52. Springer 2006.
  19. G. Boella and L. van der Torre. A Foundational Ontology of Organizations and Roles. Declarative Agent Languages and Technologies IV, 4th International Workshop (DALT'06). LNCS, 4327. pp. 78–88. 2006.
  20. T. Bosse, C. Jonker, S. Los, L. van der Torre and J. Treur. Formalisation and Analysis of the Temporal Dynamics of Conditioning. Agent-Oriented Software Engineering VI. LNCS, 3950. pp. 54–68. 2006.
  21. C. Garion and L. van der Torre. Design By Contract Deontic Design Language for Multiagent Systems. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems AAMAS 2005 International Workshops on Agents, Norms, and Institutions for Regulated Multiagent Systems, ANIREM 2005 and on Organizations in Multi-Agent Systems, OOOP 2005. LNAI, 3913. pp. 170–182. Springer 2006.
  22. S. Kaci and L. van der Torre. Permissions and Uncontrollable Propositions in DSDL3: Non-monotonicity and Algorithms. In L. Goble and J. -J. Meyer (Eds.), Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12–14, 2006, Proceedings. Lecture Notes in Computer Science, 4048. Springer 2006.
  23. A. Stam, J. Jacob, F. S. de Boer, M. Bonsangue and L. van der Torre. Using XML Transformations for Enterprise Architectures. In T. Margaria and B. Steffen (Eds.), Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 – November 2, 2004, Revised Selected Papers. Lecture Notes in Computer Science, 4313. pp. 42–56. Springer 2006.
  24. L. van der Torre, M. Lankhorst, H. ter Doest, J. Campschroer and F. Arbab. Landscape Maps for Enterprise Architectures. In E. Dubois and K. Pohl (Eds.), Advanced Information Systems Engineering, 18th International Conference, CAiSE 2006, Luxembourg, Luxembourg, June 5–9, 2006, Proceedings. Lecture Notes in Computer Science, 4001. pp. 351–366. Springer 2006.
  25. M. Baldoni, G. Boella and L. van der Torre. powerJava: ontologically founded roles in object oriented programming language. Procs. of ACM Symposium on Applied Computing (SAC'06), Track Object Oriented Programming Languages and Systems (OOPS'06). pp. 1414–1418. ACM 2006.
  26. M. Baldoni, G. Boella and L. van der Torre. Interaction among objects via roles: sessions and affordances in powerJava. Procs. of Principles and Practice of Programming in Java (PPPJ'06). pp. 188–193. ACM 2006.
  27. J. Ben-Naim. Lack of Finite Characterizations for the Distance-based Revision. 10th International Conference on Principles of Knowledge Representation and Reasoning (KR'06). pp. 239–248. 2006.
  28. G. Boella, R. Damiano, J. Hulstijn and L. van der Torre. Role-Based Semantics for Agent Communication: Embedding of the ‘Mental Attitudes’ and ‘Social Commitments’ Semantics. Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06). pp. 688–690. ACM 2006.
  29. G. Boella, J. Hulstijn and L. van der Torre. The Roles of Roles in Agent Communication Languages. Procs. of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'06). pp. 381–384. IEEE 2006.
  30. G. Boella, L. Sauro and L. van der Torre. Strengthening Admissible Coalitions. Procs. of the 17th European Conference on Artificial Intelligence (ECAI'06). pp. 195–199. IOS 2006.
  31. G. Boella and L. van der Torre. Fair Distribution of Collective Obligations. Procs. of the 17th European Conference on Artificial Intelligence(ECAI'06). pp. 721–722. IOS 2006.
  32. G. Boella and L. van der Torre. An architecture of a normative system. Procs. of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06). pp. 229–231. ACM 2006.
  33. G. Boella and L. van der Torre. Game-Theoretic Foundations for Norms. Procs. of Artificial Intelligence Studies. 3(26). pp. 39–51. 2006.
  34. R. Booth, S. Kaci and L. van der Torre. Merging Rules: Preliminary Version. Proceedings of the NMR'06. 2006.
  35. D. Gabbay, G. Pigozzi and O. Rodrigues. Belief revision, belief merging and voting. In G. Bonanno, W. van der Hoek and M. Wooldridge (Eds.), Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06). pp. 71–78. 2006.
  36. S. Kaci, L. van der Torre and E. Weydert. Acyclic Argumentation: Attack = Conflict + Preference. In G. Brewka, S. Coradeschi, A. Perini and P. Traverso (Eds.), ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 – September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings. pp. 725–726. IOS Press 2006.
  37. S. Kaci and L. van der Torre. Preference reasoning for argumentation: non-monotonicity and algorithms. Proceedings of the NMR'06. 2006.
  38. S. Kaci and L. van der Torre. Merging Optimistic and Pessimistic Preferences. Proceedings of FUSION 2006. Also in proceedings of NMR06. 2006.
  39. G. Pigozzi and S. Hartmann. Merging judgments and the problem of truth-tracking. In U. Endriss and J. Lang (Eds.), Proceedings of the 1st International Workshop on Computational Social Choice (COMSOC 2006). pp. 408–421. 2006.
  40. G. Pigozzi and D. Eckert. Pareto consistency in a model-based perspective on judgment aggregation. In G. Bonanno, W. van der Hoek and M. Wooldridge (Eds.), Proceedings of the Seventh Conference on Logic and the Foundations of Games and Decision Theory (LOFT06). pp. 169–176. 2006.
  41. E. Weydert. Rankings from Merging - a preliminary version. Informal Proceedings of the Eight Augustus de Morgan Workshop on Belief Revision, Belief Merging and Social Choice (http://www.dcs.kcl.ac.uk/events/ADMW06). 2006.
icr.uni.lu —