High Performance Reasoning with Very Large Knowledge Bases: A Practical Case Study.

Volker Haarslev, Ralf Mller

Browse the full IJCAI paper archive.