Completeness Theorems for Semantic Resolution in Consequence-Finding.

James R. Slagle, Chin-Liang Chang, Richard C. T. Lee

Browse the full IJCAI paper archive.