ICR

Leon van der Torre

Leon van der Torre defended his PhD thesis on Reasoning About Obligations in 1997 at the Erasmus University Rotterdam. Afterwards he held research positions at the Max Planck Institute for Computer Science in Saarbrücken, the Université Paul Sabatier in Toulouse, the Vrije Universiteit Amsterdam, and the Center of Mathematics and Computer Science (CWI) Amsterdam. He developed input/output logic, the BOID architecture, and the game-theoretic approach to normative multiagent systems. He initiated also the workshops on coordination and organization (CoOrg), on interdisciplinary perspectives on roles (ROLES), and on normative multiagent systems (NORMAS). In January 2006 he joined the University of Luxembourg as a full professor for Intelligent Systems, where he is responsible also for the strategic priority P1 on security and reliability.

Emil Weydert

My main working area is Logic and Uncertainty. In particular, I try to integrate qualitative and quantitative approaches to knowledge representation and inductive reasoning, as well as to model the dynamics of complex epistemic states in the context of multi-agent-systems. Beyond that, I share many interests with my colleague Leon van der Torre. More recently, I have started to work on a logic of trust for cognitive agents in science, which calls for a bundling and extension of these formal tools. This is done in the context of the TRIAS project in collaboration with my partner Christoph Schommer who is investigating the use of textmining to extract trust information from scientific articles.

Martin Caminada

Martin Caminada has as main research interests formal models of human argument and argumentation as a form of nonmonotonic reasoning. In 2004 he obtained a Ph.D. in computer science with his thesis For the Sake of the Argument; explorations into argument-based reasoning. From 2004 to 2007 he worked at the Utrecht University on an EU-funded project called ASPIC (Application Service Platform with Integrated Components). Since August 2007 he works at the University of Luxembourg as a senior postdoc on the AASTM project (Advanced Argumentation Services for Trust Management). Martin's publication record includes the AAAI, ECAI and AIJ. His educational tasks include giving a Master course on argumentation and the supervision of a PhD student.

Wojtek Jamroga

Go to webpage

Xavier Parent

Go to webpage

Richard Booth

Go to webpage

Marija Slavkovik

Since March 2008 Marija Slavkovik is a PhD Candidate under Leon van der Torre and Gabriella Pigozzi. The focus of her doctoral research is the development of formal procedures for collective reasoning. These procedures are intended for aggregating logically inter-related information from a group of rational artificial or human agents.
Prior to her arrival in Luxembourg, Marija completed the European masters program in computation logic at the Free University Bozen-Bolzano in Italy and at the Technical University of Vienna in Austria. Her masters work was on applying Answer Set Programming for the task of Deep Analysis in Question Answering. Prior to her masters studies she obtained a degree in electrical engineering from the Ss. Cyril and Methodius University in Macedonia .

Yining Wu

Yining Wu is a PhD Candidate under Leon van der Torre and Martin Caminada. She is working on the topic of reasoning and formal argumentation in the field of trust management. She finished the Master's Program in Computational Logic at the Technische Universität Dresden in Germany. In her Master thesis she gave a method of transforming the fuzzy Description Logic ALC_FL to the classical Description Logic ALCH.

Matthijs Melissen

Go to webpage

Valerio Genovese

Go to webpage

Antonis Bikakis

Go to webpage

Simon Kramer

Go to webpage

Tjitze Rienstra

Silvano Colombo Tosatto (SnT)

Pouyan Ziafati (SnT)

Sergio Manuel Sousa Rodrigues

Mikołaj Podlaszewski (SnT)

Llio Humphreys

Llio Humphreys is a Researcher and Programme Manager at the Dipartmento di Informatica, Università degli Studi di Torino, working for Professor Guido Boella, Scientific Co-ordinator of ICT4LAW, a large interdisciplinary research project involving several university departments and industry partners. Her role includes analysis of business process management, software design and testing, user and technical documentation, legal data analysis for building ontologies, and collaborating on academic papers. Llio graduated in Law at Aberystwyth University in 1996 and received an MPhil research degree in Computer Science from Bangor University in 2009. The topic of her thesis was 'An Investigation into Machine Translation of English-Welsh Legal Text'.