Ulrich Furbach, Claudia Schon. Commonsense Reasoning Meets Theorem Proving. In Matthias Klusch, Rainer Unland, Onn Shehory, Alexander Pokahr, Sebastian Ahrndt, editors, Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings. Volume 9872 of Lecture Notes in Computer Science, pages 3-17, Springer, 2016. [doi]
Abstract is missing.