Parallel Possibility Results of Preference Aggregation and Strategy-proofness by using Prolog Topics: Cooperation and Coordination; Economic Agent Models; Multi-Agent Systems In Proceedings of the 6th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, 243-248, 2014 , ESEO, Angers, Loire Valley, France