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

Binas and Slaney. "Semantically Guiding a First-Order Theorem Prover with a Soft Model." AAAI Conference on Artificial Intelligence, 2004.

[Binas and Slaney. "Semantically Guiding a First-Order Theorem Prover with a Soft Model." AAAI Conference on Artificial Intelligence, 2004.](https://mlanthology.org/aaai/2004/binas2004aaai-semantically/)

@inproceedings{binas2004aaai-semantically,
  title     = {{Semantically Guiding a First-Order Theorem Prover with a Soft Model}},
  author    = {Binas, Arnold and Slaney, John K.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2004},
  pages     = {948-949},
  url       = {https://mlanthology.org/aaai/2004/binas2004aaai-semantically/}
}