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.
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.
Tjitze Rienstra
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'.
Previously affiliated
- Jonathan Ben-Naim
- Davide Grossi
- Patrice Caire
- Serena Villata
- Gabriella Pigozzi
- Guillaume Aucher
- Guido Boella
- Walter Carnielli
- Mathijs de Boer
Visitors
Prof. Dov Gabbay visited our group 3-7 March 2008.
Prof. Walter Carnielli will visit our group for 6 months starting
August 2008 to work on Mixing Logics and Extra-Logical Basis of
Reasoning
on a FNR grant.

