Is It Reasonable to Employ Agents in Automated Theorem Proving?

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.