ICR
The interdisciplinary research group Individual and Collective Reasoning (ICR) within the CSC research unit is guided by the insight that intelligent systems are characterized not only by their individual reasoning capacity, but also by their social interaction potential. Our overarching goal is to develop and investigate formal models and computational realizations of individual and collective rationality. This includes in particular the generalization of existing frameworks for single agent reasoning to multi-agent communities, the modeling and study of interactions between agents in complex social environments, and the development of generalized inference techniques, e.g. for aggregating conflicting evidence and norms.
3rd Workshop on Security and Trust
Symposium on Games, Argumentation and Logic Programming: University of Luxembourg. April 23-24, 2009.
NorMAS 09 : Normative Multi-Agent Systems, Schloss Dagstuhl. March 15-20, 2009.
P1 Day : First Luxembourg Day on Security and Reliability. Luxembour, February 10, 2009.
DEON 09 : Ninth International Conference on Deontic Logic in Computer Science, Luxembourg. July 15–18, 2008.
Talk by Prof. Dov Gabbay King's College London: On Logic and Network Reasoning (see pictures here).
More about us >>>
Prof. Dov Gabbay is an invited professor for 3 years.
About Dov: I am a logic.
Guido Boella, Gabriella Pigozzi, Marija Slavkovik and Leendert van der Torre. Group Intentions are Social Choice with Commitment (To appear) In Proceedings of the 11th International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN@MALLOW 2010), 30.08 - 2.09.2010, Lyon, France.
Guido Boella, Gabriella Pigozzi, Leendert van der Torre. Normative Framework for Normative System Change In Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 09), 10-15 May 2009, Budapest, Hungary.
M.W.A. Caminada. A formal account of Socratic-style argumentation. Journal of Applied Logic 6(1):109-132 (2008)
Patrice Caire and Leendert van der Torre. Temporal Dependence Networks for the Design of Convivial Multiagent Systems In Proceedings of the Eighth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS (2) 2009: 1317-1318, 10-15 May 2009, Budapest, Hungary.
On ICR education >>>
