Max Wisniewski, Christoph Benzmüller. Is It Reasonable to Employ Agents in Automated Theorem Proving?. In H. Jaap van den Herik, Joaquim Filipe, editors, Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), Volume 1, Rome, Italy, February 24-26, 2016. pages 281-286, SciTePress, 2016. [doi]
Abstract is missing.