Page d'accueil // Recherche // FSTM // DCS // Groupes de r... // Individual and Collective Reasoning

Individual and Collective Reasoning

Objectifs de recherche

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.

Projets de recherche actuels

DELIGHT - Deontic Logic for Epistemic Rights

Plage de temps: 1 mars 2021 - 29 février 2024
Financement: FNR - OPEN
Organisations partenaires: Freie Universitat Berlin, Google Research Amsterdam, Universite de Rennes 1, University of Bergen, Zhejiang University
Participants: VAN DER TORRE, Leon (Responsable de projet)


Practical and social reasoning is used in the foundations of explainable Artificial Intelligence for the design and engineering of legal and ethical reasoners, and the control and governance of intelligent autonomous systems. DELIGHT investigates deontic logics reasoning about epistemic rights such as the right to know, the freedom of thought …

EXPECTATION - Personalized Explainable Artificial Intelligence for decentralized agents with heterogeneous knowledge

Plage de temps: 1 janvier 2021 - 31 décembre 2023
Financement: FNR - INTER
Organisations partenaires: Ozyegin University, University of Applied Sciences and Arts Western Switzerland, Università di Bologna
Participants: VAN DER TORRE, Leon (Responsable de projet)


Explainable AI (XAI) has emerged in recent years as a set of techniques and methodologies aiming at explaining machine learning (ML) models, and enabling humans to understand, trust, and manipulate the outcomes produced by artificial intelligent entities effectively. Although these initiatives have advanced over the state of the art, several …

icomplai - Automated GDPR compliance checking of documents and processes

Plage de temps: 1 mai 2021 - 30 avril 2023
Participants: LIBAL, Tomer (Responsable de projet)


Since the introduction of the GDPR in 2018, privacy law compliance checking has gained much importance, bothfinancially and ethically. Despite that, a relatively small number of software exists, which can help in this process.Moreover, the current software solutions suffer from several problems, such as inexplainability andnontransparency, which …

RESUBMISSION - INTEGRAUTO - RESUBMISSION - What should we do? What can we do? What are we doing!? Studying the limits, problems, and risks associated to autonomous vehicles from an integrative approach

Plage de temps: 1 octobre 2022 - 30 septembre 2023
Financement: FNR - INTER
Organisations partenaires: Université du Québec à Trois-Rivières
Participants: VAN DER TORRE, Leon (Responsable de projet)


Technologies are being developed at an alarming rate and citizens are becoming more aware of the social issues related to technological developments. More recently, for example, autonomous vehicles have been under the spotlight given how rapidly these technologies came on the market and how quickly advancements are made in the …

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.