@cschon

Commonsense Reasoning Meets Theorem Proving

U. Furbach, and C. Schon. 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