Practical Partition-Based Theorem Proving for Large Knowledge Bases.

Bill MacCartney, Sheila A. McIlraith, Eyal Amir, Toms E. Uribe

Browse the full IJCAI paper archive.