@cschon

Commonsense Reasoning Meets Theorem Proving

, and . Multiagent System Technologies - 14th German Conference, MATES 2016, Klagenfurt, Österreich, September 27-30, 2016. Proceedings, volume 9872 of Lecture Notes in Computer Science, page 3--17. Springer, (2016)


Cite this publication