A Model to Support Collective Reasoning: Formalization, Analysis and Computational Assessment