Related Projects

Other projects within LogICCC:

  • Logic for Interaction (LINT)
  • The Logic of Causal and Probabilistic Reasoning in Uncertain Environments (LcpR)
  • Logical Models of Reasoning with Vague Information (LoMoReVI)
  • 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)