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.
Fallzahl Standort Koblenz: 0 (Warnstufe Grün) Maßnahmenkonzept
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.