Natural Language Based Inference Procedures Applied to Schubert's Steamroller.

Robert Givan, David A. McAllester, Sameer Shalaby

Browse the full AAAI paper archive.