First Order Logic and Commonsense Reasoning: A Path Less Travelled.

Tanel Tammet, Dirk Draheim, Priit Jrv, Martin Verrev

Browse the full ICLP paper archive.