GKC: A Reasoning System for Large Knowledge Bases.

Tanel Tammet

Browse the full CADE paper archive.