Many-Sorted Logic in a Learning Theorem Prover.

Thomas Kolbe, Sabine Glesner

Browse the full KI paper archive.