Other projects within LogICCC:
- Logic for Interaction (LINT)
- The Logic of Causal and Probabilistic Reasoning in Uncertain Environments (LcpR)
- Dialogical Foundations of Semantics (DiFoS)
- Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
- Vagueness, Approximation, and Granularity (VAAG)
- Computational Foundations of Social Choice (CFSC)
- SOCIAL SOFTWARE for elections, the allocation of tenders and coalition/alliance formation (SSEAC)
Descriptions of these projects are availabale at the LogICCC project page.