Semantically Guiding a First-Order Theorem Prover with a Soft Model.

Arnold Binas, John K. Slaney

Browse the full AAAI paper archive.