Author: John K. Slaney [RDF, Bibtex, BibBase] has 2 publications


Semantically Guiding a First-Order Theorem Prover with a Soft Model Arnold Binas, John K. Slaney. Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), student abstract and poster 948-949 2004


Guiding a Theorem Prover with Soft Constraints John K. Slaney, Arnold Binas, David Price. Proceedings of the European Conference on Artificial Intelligence (ECAI-2004, Valencia, Spain) 221-225 2004