Automatic Extraction of Efficient Axiom Sets from Large Knowledge Bases.

Abhishek B. Sharma, Kenneth D. Forbus

Browse the full AAAI paper archive.