GK: Implementing Full First Order Default Logic for Commonsense Reasoning (System Description).

Tanel Tammet, Dirk Draheim, Priit Jrv

Browse the full CADE paper archive.