Research
publications 2009
Technical Reports
Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. A complete conclusion-based procedure for judgment aggregation. July 2009 ISBN: 978-2-87971-028-0.
Journals
P. Caire and L. van der Torre. Convivial ambient technologies: Requirements, ontology, and design , The Computer Journal, vol. 2009. 3.
Patrice Caire. Designing convivial digital cities: a social intelligence design approach . AI Soc. 24(1): 97-114 (2009).
Patrice Caire. How to import the concept of conviviality to web communities, International Journal of Web Based Communities (IJWBC), vol. 2009. 3.
Proceedings
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.
G. Boella, L. van der Torre and S. villata, Four Ways to Change Coalitions: Agents, Dependencies, Norms and Internal Dynamics. COIN 2009
G. Boella, L. van der Torre and S. villata, A Normative Multiagent Approach to Requirements Engineering. SNAMAS 2009.
Patrice Caire, Leendert van der Torre. Temporal dependence networks for the design of convivial multiagent systems. AAMAS (2) 2009: 1317-1318
P. Caire and L. van der Torre. The Design of Convivial Multiagent Systems. SNAMAS 2009.
publications 2008
Journals
G. Boella, P. Caire and L. van der Torre. Norm negotiation in online multi-player games . Knowledge and Information Systems, Volume 18, Issue 2, Page 137-156, 2008.
M.W.A. Caminada. A formal account of Socratic-style argumentation. Journal of Applied Logic 6(1):109-132 (2008)
D. Grossi, J.-J. Ch. Meyer, F. Dignum. The Many Faces of Counts-as: A Formal Analysis of Constitutive Rules. Journal of Applied Logic, Elsevier 2008, 6(2), 192--217.
J. Vazquez-Salceda, H. Aldewereld, D. Grossi, F. Dignum. From Human Regulations to Regulated Software Agents' Behaviour. Connecting the abstract declarative norms with the concrete operational implementation. A position paper. Journal of Artificial Intelligence & Law, Springer 2008, 16(1), 73--87.
Proceedings
Guido Boella, Celia Costa da Pereira, Andrea G. B. Tettamanzi and Leendert van der TorreMaking, Others Believe What They Want. In Theory and Practice II of IFIP International Federation for Information Processing.
. Conviality Masks in Role-Based Institutions: Multi-Agent Teleconferencing in Virtual Worlds. In Proceedings of The Seventh International Conference on Autonomous Agents and Multiagent Systems (AAMAS). Estoril, Portugal, 2008. [bib]
M. Dastani, D. Grossi, Nick Tinnemeier, J.-J. Meyer. A Programming Language for Normative Multi-Agent Systems. To be presented at KRAMAS 08, Sidney, September 2008.
D. Grossi. From Preferences to Judgments and Back. Presented at COMSOC' 08, Liverpool, September 2008.
D. Grossi, F. Dignum. Structural Aspects of Agent Organizations. To appear in: V. Dignum (ed.) Multi-Agent Systems: Semantics and Dynamics of Organizational Models. Igi Global.
D. Grossi. Pushing Anderson' s Envelope. The Modal Logic of Ascription. To be presented at DEON 08, Luxembourg, July 2008.
D. Grossi. Proving Judgment Aggregation Theorems as Corollaries of Preference Aggregation Theorems. Presented at the 8th Conference on Logic and the Foundations of Game and Decision Theory (LOFT' 08), Amsterdam, July 2008.
D. Grossi, D. Gabbay, L. van der Torre. A Normative View on the Blocks World. To be presented at NORMAS' 08, Luxembourg, July 2008.
J. Lang and L. van der Torre, From belief change to preference change. ECAI 2008. Also appears at LOFT 2008, and Dagstuhl workshop 2007.
Yi Zhou, Leendert van der Torre, Yan Zhang, Goal Change in the Context of Beliefs: Partial Implication, Logical Properties, and Complexity. Proceedings of AAMAS08.
Workshop papers
P. Barbini, G. Boella, P. Rossi and L. van der Torre, E-business Outsourcing: a New Approach combining Information Rights Technologies and Agent-Based Theory on Norms. ICEC 2008.
G. Boella, L. van der Torre and S. villata, Self Adaptive Coalitions in Multiagent Systems. SASO 2008.
Matteo Baldoni, Guido Boella, Valerio Genovese, Roberto Grenna, and L. van der Torre, Adding Organizations and Roles as Primitives to JADE Framework. NORMAS 2008.
M.W.A. Caminada. On the Issue of Contraposition of Defeasible Rules. COMMA 2008 (to appear)
D. Grossi, D. Gabbay, and L. van der Torre, A Normative View on the Blocks World. NORMAS 2008.
G. Pigozzi, M. Slavkovik and L. van der Torre,Conclusion-Based Procedure for Judgment Aggregation Satisfying Premise Independence. LOFT 2008.
publications 2007
Journals
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): 40--57, 2007.
Matteo Baldoni, Guido Boella, Leendert van der Torre: Interaction between Objects in powerJava. Journal of Object Technology 6(2): 2007.
Cut-free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Journal Logica Universalis, 1(1), 41–69, 2007. [bib]
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.
Guido Boella and Leendert van der Torre. The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law Journal (AILaw) 15(3): 201-221, 2007.
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): 217-265, 2007.
G. Boella, L. Sauro and L. van der Torre, From Social Power to Social Importance. /Web Intelligence and Agent Systems journal/ (5): 393-404.
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):36-47, 2007.
Proceedings
Matteo Baldoni, Guido Boella, Leendert W. N. van der Torre: Bridging Agent Theory and Object Orientation: Agent-Like Communication Among Objects. Rafael H. Bordini, Mehdi Dastani, Jürgen Dix, 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 Springer 2007: 149-164.
Matteo Baldoni, Guido Boella, Leendert van der Torre: Relationships Meet Their Roles in Object Oriented Programming. Farhad Arbab, 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 Springer 2007: 440-448.
Jonathan Ben-Naim, Emil Weydert. On Agent Prioritization in Trust Networks. In Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007). Mehdi Dastani and Edwin de Jong (eds.). Utrecht, NL, 73-80, Nov. 2007.
Guido Boella, Celia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, and Leendert van der Torre: What You should Believe. In Proceedings of The 19th Belgian-Dutch Conference on Artificial Intelligence (BNAIC 2007). Mehdi Dastani and Edwin de Jong (eds.). Utrecht, NL, November 2007.
Guido Boella, Valerio Genovese, Roberto Grenna and Leendert van der Torre. Merging Roles in Coordination and in Agent Deliberation. PRIMA 2007. Lecture Notes in Computer Science, Springer.
Guido Boella, Leendert W. N. van der Torre: An Attacker Model for Normative Multi-agent Systems. Hans-Dieter Burkhard, Gabriela Lindemann, Rineke Verbrugge, László Zsolt Varga (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 Springer 2007: 42-51.
Guido Boella, Leendert W. N. van der Torre: Power in Norm Negotiation. Ngoc Thanh Nguyen, Adam Grzech, Robert J. Howlett, 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 Springer 2007: 436-446. Best paper award.
. KE Tableaux for Public Announcement Logic. In Proceedings of the Formal Approaches to Multi-Agent Systems Workshop (FAMAS'007). Pablo Noriega and Julian Padget (eds.). Durham, UK, 2007. [bib]
Jan Broersen and Leendert van der Torre. Reasoning About Norms, Obligations, Time and Agents. PRIMA 2007. Lecture Notes in Computer Science, Springer.
. A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities. In the Revised Selected Papers of Coordination, Organizations, Institutions, and Norms in Agent Systems III. COIN 2007 International Workshops COIN@AAMAS 2007, Honolulu, HI, USA, May 2007 COIN@MALLOW 2007, Durham, UK, September 2007. Sichman, J.S.; Padget, J.; Ossowski, S.; Noriega, P. (eds.). LNCS(4870), 245–260, 2008. [bib]
An earlier version of this paper appeared as:
. A Normative Multi-Agent Systems Approach to the Use of Conviviality for Digital Cities. In Proceedings of The International Workshop on Coordination, Organization, Institutions and Norms in Agent Systems (COIN). Pablo Noriega and Julian Padget (eds.). Durham, UK, 2007. [bib]
An earlier version of this paper appeared as:
. A normative multi-agent systems approach to the use of conviviality for digital cities. In G. Boella, L. van der Torre and H. Verhagen (eds.). Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings 07122, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [bib]
. Designing Convivial Digital Cities. In A. Nijholt, O. Stock and T. Nishida (eds.). Proceedings of the 6th Workshop on Social Intelligence Design (SID'07), Trento, Italy, 25–40, 2007. [bib]
A shorter version of this paper appeared as:
. Designing Convivial Digital Cities: A Social Intelligence Design Approach. In Actes du Colloque Scientifique Ludovia 2007: La convivialite des interfaces a vocation ludique et–ou pedagogique. Conception, creation, valeurs, usages. Ax–les–Thermes, France, 2007.
. 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, 14–19, 2007. [bib]
. A critical discussion on the use of the notion of conviviality for digital cities. In Proceedings of Web Communities 2007, Salamanca, Spain, 193–200, 2007. [bib]
Martin Caminada: An Algorithm for Computing Semi-Stable Semantics. ECSQARU 2007. Lecture Notes in Artificial Intelligence 4724 Springer 2007: 222-234.
Mehdi Dastani, Guido Governatori, Antonino Rotolo, Insu Song and Leon van der Torre. Contextual Agent Deliberation in Defeasible Logic. PRIMA 2007. Lecture Notes in Computer Science, Springer.
G. Governatori, M. Dastani, A. Rotolo, I. Song, L. van der Torre, Contextual Deliberation of Cognitive Agents in Defeasible Logic (poster). Proceedings of AAMAS07.
. Ten philosophical problems in deontic logic. In G. Boella, L. van der Torre and H. Verhagen (eds.). Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings 07122, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [bib]
Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert: On the Acceptability of Incompatible Arguments. 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 Springer 2007: 247-258.
. Aggregation in Multi-Agent Systems and the Problem of Truth-Tracking. In Proceedings of The Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 07), Honolulu, Hawai'i, USA, 674–676, 2007. [bib]
.
Belief merging and the discursive dilemma: an argument-based account to paradoxes of judgment aggregation.
Synthese,
152(2):
285–298,
2006.
The original publication is available at www.springerlink.com. (Previous title Collective decision-making without paradoxes: a fusion approach
, working paper (2004)).
[bib]
. Two aggregation paradoxes in social decision making: the Ostrogorski paradox and the discursive dilemma, Episteme: A Journal of Social Epistemology, 2(2): 33–42, October 2005. [bib]
Informal
M. Baldoni, G. Boella and L. van der Torre, Adding Roles to Relationship Patterns. Proceedings of WOA07, 2007.
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.
Jonathan Ben-Naim, Emil Weydert. Information Merging with Trust (extended abstract). Workshop on Logics and Collective Decision making (LCD'07), 2007.
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.
G. Boella, R. Damiano, J. Hulstijn and L. van der Torre, Distinguishing Propositional and Action Commitment in Agent Communication. Proceedings of CMNA'07, 2007.
Guido Boella, Leendert W. N. van der Torre: A Game-Theoretic Approach to Normative Multi-Agent Systems. Normative Multi-agent Systems 2007
Guido Boella, Celia Da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, Leendert van der Torre: Choosing Your Beliefs. Normative Multi-agent Systems 2007.
Guido Boella, Leendert W. N. van der Torre, Harko Verhagen: Introduction to Normative Multiagent Systems. Normative Multi-agent Systems 2007.
M. Caminada and J. Ben-Naim. Postulates for Paraconsistent Reasoning and Fault Tolerant Logic Programming. Technical Report UU-CS-2007-004, Institute of Information and Computing Sciences, Utrecht University, 2007.
Jörg Hansen, Gabriella Pigozzi, Leendert W. N. van der Torre: Ten Philosophical Problems in Deontic Logic. Normative Multi-agent Systems 2007.
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), Schloss Dagstuhl, Germany.
E. 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), Schloss Dagstuhl, Germany.
Emil Weydert. Quality, quantity, and beyond (extended abstract). Foundations of the Formal Sciences VI - Reasoning about Probabilities and Probabilistic Reasoning. Amsterdam 2007.
Presentations
. Aggregation in multi-agent systems and the problem of truth-tracking (poster). At The Sixth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 07), Honolulu, Hawai'i, USA. 2007.
, joint work with Emil Weydert. Information Merging with Trust (extended abstract). At the Workshop on Logics and Collective Decision making (LCD'07). 2007.