Projects

LogICCCC Collaborative Research Projects (CRPs)

FP002 - Logic for Interaction (LINT)

(AKA, DFG, NWO, VR)

LINT is a collaborative research project aimed at developing mathematical foundations for interaction. Intelligent interaction involves agents in complex scenarios like conversation, teamwork, or games. Contours of a broad mathematical description are starting to emerge today, based on several individual research developments that now need to be brought together. LINT gathers logicians, computer scientists and philosophers from six Europeancountries in an effort to lay the grounds for a unified account of the logic of interaction.

 

CFSC will Project Leader: Dag Westerståhl, Göteborg University, Sweden

Principal Investigators:

·         Jouko Väänänen, University of Amsterdam, the Netherlands

·         Erich Graedel, RWTH Aachen University, Germany

·         Lauri Hella, University of Tampere, Finland

Associated Partners:

·         Samson Abramsky, Oxford University, United Kingdom

·         Gabriel Sandu, Université Paris I, CNRS / ENS, Paris, France

FP004 - Dialogical Foundations of Semantics (DiFoS)

(DFG, FCT, NWO)

Incorporating interaction and dialogue into logical semantics promises to overcome certain shortcomings of more traditional static approaches. The DiFoS project aims to assess the foundational value of dialogue semantics and examine its potential to lay the foundations for logical reasoning in mathematics, computer science and linguistics.  It will compare dialogical and game-theoretical semantics with inferentialist approaches, and also investigate the historical roots of dialogues in logic, especially within medieval theories of obligations.

Further information: http://www-ls.informatik.uni-tuebingen.de/difos

Project Leader: Peter Schroeder-Heister, Universität Tübingen, Germany

Principal Investigators:

·         Reinhard Kahle, Universidade Nova de Lisboa, Caparica, Portugal

·         Benedikt Löwe, Universiteit van Amsterdam, the Netherlands

FP005 - The Logic of Causal and Probabilistic Reasoning in Uncertain Environments (LcpR)

(DFG, FWF, GACR)

The project combines expertise from probability logic and nonmonotonic reasoning, probability and coherence, causality, conditional independence, models, human reasoning and empirical research on mental probability logic, counterfactuals and cognitive development.

It focuses on:

(i) foundational topics like rationality and evolution;
(ii) algorithms and implementation of local knowledge representation in non-graphical models (alternatives to Bayesian networks);
(iii) actual human reasoning in children and adults.

Further information: http://www.users.sbg.ac.at/~probnet/

Project Leader: Gernot Kleiter, University of Salzburg, Austria 

Principal Investigators:

·         Radim Jirousek, Institute of Information Theory and Automation, Prague,  Czech Republic

·         Josef Perner, Universität Salzburg, Austria

·         Gerhard Schurz, University of Düsseldorf, Germany

Associated Partners:

·         Sarah Beck, University of Birmingham, United Kingdom

·         Angelo Gilio, University of Rome, La Sapienza, Italy

·         Max Kistler, Institut Jean Nicod, Paris, France

FP006 - Logical Models of Reasoning with Vague Information (LoMoReVi)

(FWF, GACR, MEC)

Vagueness is a ubiquitous phenomenon pervading almost all forms of human interaction. This project focuses on logical aspects of processing vague information and aims at formal models that may serve as bridges between deductive fuzzy logics and various theories of vagueness. It also examines relations to other forms of imperfect information and connections to data extraction.

Project Leader: Christian Fermüller, Vienna University of Technology, Austria 

Principal Investigators:

·         Lluis Godo Lacasa, Institut d'Investigacio en Intelligència Artificial (IIIA), Bellaterra, Spain

·         Petr Hajek, Institute of Computer Science, Prague, Czech Republic

FP007 - Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)

(CNRS, DASTI, DFG, FNRS)

This project studies game theoretic formalizations of interactive complex computational systems and algorithms for their analysis and synthesis. Our goal is to overcome the limitations of the existing notions of games played on graphs introduced by computer scientists, most of them being of the kind "two players-zero sum". We aim to extend them to "multiple players-nonzero sum" games, and show the applicability of the new theory to the analysis and synthesis of interactive computational systems.

Further information: http://www.ulb.ac.be/di/gasics

Project Leader: Jean-François Raskin, Université Libre de Bruxelles, Belgium

Principal Investigators:

·         Wolfgang Thomas, RWTH Aachen University, Germany

·         Kim Larsen, Aalborg University, Denmark

Associated Partner:

·         Marcin Jurdzinski, University of Warwick, United Kingdom

·         Jean-Eric Pin, Université Paris Denis Diderot, CNRS, Paris, France

·         Nicolas Markey, LSV, École Normale Supérieure, Cachan, France

FP010 - Vagueness, Approximation, and Granularity (VAAG)

(DFG, HR, NWO, VR)

Vagueness is a pervasive property of human language and cognition. While vagueness has often been regarded as undesirable, the VAAG project is based on a growing recognition that vagueness is actually in many respects useful.  The VAAG project targets a broad, interdisciplinary reassessment of vagueness with contributions to general cognitive science, linguistic semantics, experimental psychology, formal pragmatics and computer science.

Further information: http://www.zas.gwz-berlin.de/research/projects/vaag/

Project Leader: Manfred Krifka, Zentrum für Allgemeine Sprachwissenschaft,Typologie und Universalienforschung, Berlin, Germany

Principal Investigators:

·         Ulrich Sauerland, Geisteswissenschaftliche Zentren Berlin e.V., Germany

·         Peter Gärdenfors, Lund University, Sweden

·         Velimir Isgum, University of Zagreb, Croatia

·         Robert Van Rooij, Universiteit van Amsterdam, the Netherlands

          Frank Veltman, Universiteit van Amsterdam, the Netherlands

Associated Partner:

·         Michael Rovatsos, University of Edinburgh, United Kingdom

·         Ewan Klein, University of Edinburgh, United Kingdom

FP012 - Computational Foundations of Social Choice (CFSC)

(DFG, ISF, NWO, TÜBITAK) 

CFSC will address some of the key issues in computational social choice, an interdisciplinary field of study at the interface of social choice theory and computer science. It aims at deepening our understanding of algorithmic and complexity-theoretic issues in social choice, at developing logic-based languages for modeling and reasoning about choice problems and preference structures, and at applying established techniques from AI, such as preference elicitation and learning, to problems of collective decision making.

Further information: http://www.tcs.ifi.lmu.de/~brandtf/cfsc.html

Project Leader: Felix Brandt, University of Munich, Germany

Principal Investigators:

·         Ulle Endriss, Universiteit van Amsterdam, the Netherlands

·         Jeffrey Rosenschein, The Hebrew University of Jerusalem, Israel

·         Jörg Rothe, Heinrich-Heine-Universität Düsseldorf, Germany

·         Remzi Sanver, Bilgi University, Istanbul, Turkey

Associated Partners:

·         Vincent Conitzer, Duke University, Durham, United States

·         Edith Elkind, University of Southampton, United Kingdom

·         Edith Hemaspaandra, Rochester Institute of Technology, United States

·         Lane Hemaspaandra, University of Rochester, United States

·         Jérôme Lang, Université Paul Sabatier, CNRS, Toulouse Cedex 04, France

·         Jean Francois Laslier, École Polytechnique, CNRS, Paris, France

·         Nicolas Maudet, Université Paris 9 Dauphine, Paris Cedex 16, France

FP014 - SOCIAL SOFTWARE for elections, the allocation of tenders and coalition/alliance formation (SSEAC)

(AKA, DFG, MEC) 

All familiar election systems are known to have very bad properties and to yield counterintuitive results. The same holds for the allocation of tenders, resulting in many cases in court. In this project we want to study the topics mentioned above in the new framework recently introduced by Balinski and Laraki, avoiding the paradoxes. Making use of relational reasoning we will develop appropriate software.

Project Leader: José Luis Garcia Lapresta, Universidad de Valladolid, Spain 

Principal Investigators:

·         Rudolf Berghammer, Christian-Albrechts-Universitaet Kiel, Germany

·         Hannu Juhani Nurmi, University of Turku, Finland

Associated Partners:

·         Henricus Swart, University of Tilburg, Netherlands

·         Agnieszka Rusinowska, Ecole Normale Superieure LSH, Université Lumière Lyon 2, CNRS, Ecully, France