Answer set programming encoding users opinions merging in social networks