LogICCCC Collaborative Research Projects (CRPs)

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