| PROJECT ACRONYM | PROJECT TITLE |
|---|---|
| CFSC | Computational Foundations of Social Choice |
| DiFoS | Dialogical Foundations of Semantics |
| GASICS | Games for Analysis and Synthesis of Interactive Computational Systems |
| LcpR | The Logic of Causal and Probabilistic Reasoning in Uncertain Environments |
| LINT | Logic for Interaction |
| LoMoReVi | Logical Models of Reasoning with Vague Information |
| SSEAC | SOCIAL SOFTWARE for elections, the allocation of tenders and coalition/alliance formation |
| VAAG | Vagueness, Approximation and Granularity |
