Home // Research // FSTM // DCS // Research Groups // Individual and Collective Reasoning

Individual and Collective Reasoning

Research Objectives

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 not only characterized 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 Department of Computer Science (DCS) and locally collaborates among others with the Departments of Philosophy and Law, the C2DH, SnT, and LIST. The group, which is led by Leon van der Torre, currently counts around 20 researchers. It is strongly engaged in international cooperation and very active within its research communities.

Our main research areas are: Normative reasoning in mult-agent contexts, Computatonal Law, AI and Ethics, Defeasible inference, Formal Argumentaton, and Explainable AI, with a growing interest in Neuro-symbolic computaton.

Past Members

Past Visiting Members

Kolawole Adebayo
Doctoral Candidate
Javed Ahmed
Doctoral Candidate
Alessio Antonini
Doctoral Candidate
Liao Beshui
Andrej Dameski
Doctoral Candidate
Dov M. Gabbay
Guest Professor, Senior Research Scientist
Beshui Liao
Tomer Libal
Alessandra Malerba
Doctoral Candidate
Robert Muthuri
Doctoral Candidate
Rohan Nanda
Doctoral Candidate
Giuseppe Pisano
Doctoral Candidate
Tjitze Rienstra
Arianna Rossi
Doctoral Candidate
Cristiana Teixeira Santos
Doctoral Candidate
Shyam Wagle
Doctoral Candidate
Zhe Yu
Doctoral Candidate

In Press







    Book Chapter

  • Argumentation as Exogenous Coordination, van der Torre Leon, Rienstra Tjitze, Gabbay Dov M.. In: It's All About Coordination, Springer.
  • From Words to Images Through Legal Visualization, Rossi Arianna, Palmirani Monica, Pagallo Ugo (Editor), Palmirani Monica (Editor), Casanovas Pompeu (Editor), Sartor Giovanni (Editor), Villata Serena (Editor). In: AI Approaches to the Complexity of Legal Systems: AICOL International Workshops 2015–2017: AICOL-VI@ JURIX 2015, AICOL-VII@ EKAW 2016, AICOL-VIII@ JURIX 2016, AICOL-IX@ ICAIL 2017, and AICOL-X@ JURIX 2017, Revised Selected Papers, Springer Cham.






    Book Chapter

  • Agent Programming Languages Requirements for Programming Autonomous Robots, Ziafati Pouyan, Dastani Mehdi, Meyer John-Jules, van der Torre Leon, Dastani Mehdi (Editor), Hübner Jomif (Editor), Logan Brian (Editor). In: Programming Multi-Agent Systems, Springer Berlin Heidelberg.
  • A propositional typicality logic for extending rational consequence, Booth Richard, Meyer Thomas, Varzinczak Ivan. In: Trends in Belief Revision and Argumentation Dynamics, College Publications.
  • Input/output logic, Parent Xavier, van der Torre Leon, van der Torre Leon (Editor), Gabbay Dov M. (Editor), Horty Jeff (Editor), van der Meyden Ron (Editor). In: Handbook of Deontic Logic, College Publications.
  • Normative Reasoning and Consequence, Broersen Jan, Cranefield Stephen, Elrakaiby Yehia, Gabbay Dov M., Grossi Davide, Lorini Emiliano, Parent Xavier, van der Torre Leon, Tummolini Luca, Turrini Paolo, Schwarzentruber Fran. In: Normative Multi-Agent Systems, Springer Netherlands.