Publications
- 2016
-
Ulrich Furbach, Claudia Schon
Commonsense Reasoning meets Theorem Proving
Accepted for publication at the 1st Conference on Artificial Intelligence and Theorem Proving, ATIP 2016, April 3-7, 2016, Obergurgl, Austria.