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.

Gabriella Pigozzi

Gabriella Pigozzi is Research Associate at the University of Luxembourg. She graduated in Philosophy from the University of Milan and received her Ph.D. in Logic, Philosophy of Science and Probability from the University of Genova. In her Ph.D. thesis she proposed a new algorithmic approach to belief revision. Her current research explores how techniques from belief merging can be used to tackle various paradoxes arising in collective decision-making and in social choice theory.

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.

Guillaume Aucher

Guillaume Aucher is a postdoc at the University of Luxembourg. In 2008 he obtained a Ph.D. in computer science with his thesis Perspectives on Belief and Change from the University of Otago (New Zealand) and the Université Paul Sabatier (France). My research is about dynamic epistemic logic and causality.

Patrice Caire

Patrice Caire is a PhD Candidate under Leon van der Torre and teaching assistant at Luxembourg University. Special Interest Topics: Inventing Communities of Communication, Conviviality and Digital Cities. Previous activities: Master of Science in Computer Science under Dr.jack Schwartz, New York University. Research assistant at NYU Media Lab. Special Interest Topic: Non-verbal Communication over the Internet. Master of Fine Arts, Angewandte Kunst Akademie, Vienna. Bachelor of Fine Arts, ENSAAMA, Paris. 6 years industrial experience (Stanford Research Institute, Scient, Netscape and AOL). Member of IEEE, ACM, SIGCH

Mathijs de Boer

Mathijs de Boer currently work on logical dynamics of trust in multi-agent systems as a PhD student of Leon van der Torre at the University of Luxembourg with Emil Weydert. As a Master student of Rineke Verbrugge and Barteld Kooi at the University of Groningen he worked on dynamic epistemic logic, tableau methods and automated theorem proving.

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.

Patrizio Barbini