Home
The Individual and Collective Reasoning Group (ICR) is an interdisciplinary research team at the University of Luxembourg which is driven by the insight that intelligent systems (like humans) are characterized not only by their individual reasoning capacity, but also by their social interaction potential. Its overarching goal is to develop and investigate comprehensive formal models and computational realizations of individual and collective reasoning and rationality.
ICR is anchored in the Lab for Intelligent and Adaptive Systems (ILIAS) of the Computer Science and Communications unit (CSC), and involved in the Interdisciplinary Centre for Security, Reliability and Trust (SnT). The group, which is led by Leon van der Torre, currently counts more than 15 researchers and is strongly engaged in international cooperation.
Our research areas are normative multi-agent systems, autonomous cognitive agents, computational social choice, and the foundations of logic-based knowledge representation and reasoning.
News
-
On April 2-3, we organize on Campus Kirchberg/Luxembourg a workshop on the
Dynamics Of Argumentation, Rules, and Conditionals (DARC)
DYNARG: Richard Booth, Emil Weydert, and Tjitze Rienstra
- How can a group of agents aggregate their individually assigned truth-values to a collection of logically related propositions? This important social choice problem has been addressed at our Judgement Aggregation Workshop - Luxembourg, Feb 1 organised by Marija Slavkovik.
-
Valerio Genovese, with his project SmartAccess, has won the Italian competition "Working Capital" for innovative ideas in "Internet, ICT & Web". It is based on his research on modal access control logics and corresponding theorem provers he conducted in the last two years at ICR. He receives a grant of 30000 Euros to improve his provers.
http://www.youtube.com/watch?v=p_ugbD2wq3A
http://www.youtube.com/watch?v=dAejZkeG4Bc (in italian)
Congratulations!
-
ICR helped to establish the Erasmus Mundus Joint International Doctoral Degree in “Law, Science and Technology”.
This is an interdisciplinary integrated doctorate designed to address new challenges in legal, socio-ethical and technical domains arising from the knowledge society and newly emerging technologies. Rapidly evolving sectors of Information Technology and Life Sciences need legal and ethical instruments for avoiding malpractice and for shaping policies and strategies. Advanced knowledge processing techniques are required to face the increasing complexity of Law in contemporary society. This calls for specific interdisciplinary competencies as provided by this degree.
More info: http://www.last-jd.eu/
- Dov Gabbay continues to be an invited professor at ICR for another 3 years (2012-2014) ("I am a logic").