On the Design of a Natural Logic System for Knowledge Bases.

Troels Andreasen, Henrik Bulskov, Jrgen Fischer Nilsson

Browse the full ISMIS paper archive.