Commonsense Reasoning Meets Theorem Proving

Ulrich Furbach, Claudia Schon. Commonsense Reasoning Meets Theorem Proving. In Claudia Schon, Ulrich Furbach, editors, Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning co-located with 25th International Joint Conference on Artificial Intelligence (IJCAI 2016), New York, USA, July 9, 2016. Volume 1651 of CEUR Workshop Proceedings, pages 74-85, CEUR-WS.org, 2016. [doi]

Authors

Ulrich Furbach

This author has not been identified. Look up 'Ulrich Furbach' in Google

Claudia Schon

This author has not been identified. Look up 'Claudia Schon' in Google