Semantically Guided Theorem Proving for Diagnosis Applications.

Peter Baumgartner, Peter Frhlich, Ulrich Furbach, Wolfgang Nejdl

Browse the full IJCAI paper archive.