Startseite // Forschung // FSTM // DCS // Forschungsgr... // Individual and Collective Reasoning

Individual and Collective Reasoning

Forschungsziele

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.

Past Members

Frühere Gastmitglieder

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

Laufende Forschungsprojekte

AI & Art Pavilion

Zeitrahmen: 1. Juni 2020 - 31. Dezember 2022
Finanzierung: UL, Esch2022
Teilnehmer: VAN DER TORRE, Leon (Projektleiter), NAJJAR, Amro (Forscher), KARPATI, Daniel (Projektkoordinator)

In Press

2021

2020

2019

2018

    Book Chapter

  • Argumentation as Exogenous Coordination, van der Torre Leon, Rienstra Tjitze, Gabbay Dov. 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.

2017

2016

2015

2014

2013

    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.