Semantically Guiding a First-Order Theorem Prover with a Soft Model. Binas, A. & Slaney, J. K. In Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), student abstract and poster, pages 948-949, 2004.
![Semantically Guiding a First-Order Theorem Prover with a Soft Model [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex 1 download
Paper bibtex 1 download @inproceedings{ softieaaai04,
author = {Arnold Binas and John K. Slaney},
title = {Semantically Guiding a First-Order Theorem Prover with a Soft Model},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), student abstract and poster},
pages = {948-949},
url = {aaai04.pdf} ,
year = {2004}
}Downloads: 1
{"_id":{"_str":"51f6b4ae59ced8df44000f76"},"__v":40,"authorIDs":["545719d52abc8e9f3700006d"],"author_short":["Binas, A.","Slaney, J. K."],"bibbaseid":"binas-slaney-semanticallyguidingafirstordertheoremproverwithasoftmodel-2004","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Arnold"],"propositions":[],"lastnames":["Binas"],"suffixes":[]},{"firstnames":["John","K."],"propositions":[],"lastnames":["Slaney"],"suffixes":[]}],"title":"Semantically Guiding a First-Order Theorem Prover with a Soft Model","booktitle":"Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), student abstract and poster","pages":"948-949","url":"aaai04.pdf","year":"2004","bibtex":"@inproceedings{ softieaaai04,\n author = {Arnold Binas and John K. Slaney},\n title = {Semantically Guiding a First-Order Theorem Prover with a Soft Model},\n booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), student abstract and poster},\n pages = {948-949},\n url = {aaai04.pdf} ,\n year = {2004}\n}\n\n\n","author_short":["Binas, A.","Slaney, J. K."],"key":"softieaaai04","id":"softieaaai04","bibbaseid":"binas-slaney-semanticallyguidingafirstordertheoremproverwithasoftmodel-2004","role":"author","urls":{"Paper":"http://data.bibbase.org/author/arnold-binas/aaai04.pdf"},"downloads":1,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/arnold-binas/?format=bibtex","downloads":1,"keywords":[],"search_terms":["semantically","guiding","first","order","theorem","prover","soft","model","binas","slaney"],"title":"Semantically Guiding a First-Order Theorem Prover with a Soft Model","title_words":["semantically","guiding","first","order","theorem","prover","soft","model"],"year":2004,"dataSources":["bNNJcanbR4LWbNBZx"]}