Commonsense Reasoning Meets Theorem Proving.

Ulrich Furbach, Claudia Schon

Browse the full IJCAI paper archive.