Is It Reasonable to Employ Agents in Automated Theorem Proving? Topics: Agent Models and Architectures; Agent Platforms and Interoperability; Cooperation and Coordination; Knowledge Representation and Reasoning; Multi-Agent Systems In Proceedings of the 8th International Conference on Agents and Artificial Intelligence - Volume 1: ICAART, 281-286, 2016 , Rome, Italy