LogICCC: A Retrospective
The ESF has published a report titled ' Modelling Intelligent Interaction (LogICCC): Logic in the Humanities, Social and Computational Sciences - A Retrospective ' as the LogICCC program comes to a completion. The report gives an overview of the accomplishments of the constituent projects in the program and presents research highlights. 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