LogAnswer - A Deduction-Based Question Answering System (System Description).

Ulrich Furbach, Ingo Glckner, Hermann Helbig, Bjrn Pelzer

Browse the full CADE paper archive.