Publications

(Or here in a less cool format)
back to homepage

RSS Feed group by: generated by BibBase.org.
Peer-to-peer Query Answering with Inconsistent Knowledge. Binas, A., and McIlraith, S. A. 2008. In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008, Sydney, Australia), 329-339.
Peer-to-peer Query Answering with Inconsistent Knowledge [PDF] Peer-to-peer Query Answering with Inconsistent Knowledge [bib]
Semantically Guiding a First-Order Theorem Prover with a Soft Model. Binas, A., and Slaney, J. K. 2004. In Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), student abstract and poster, 948-949.
Semantically Guiding a First-Order Theorem Prover with a Soft Model [PDF] Semantically Guiding a First-Order Theorem Prover with a Soft Model [bib]
Guiding a Theorem Prover with Soft Constraints. Slaney, J. K.; Binas, A.; and Price, D. 2004. In Proceedings of the European Conference on Artificial Intelligence (ECAI-2004, Valencia, Spain), 221-225.
Guiding a Theorem Prover with Soft Constraints [PDF] Guiding a Theorem Prover with Soft Constraints [bib]
Distributed Query Answering in Peer-to-peer Reasoning Systems. Binas, A., and McIlraith, S. A. 2007. Department of Computer Science, University of Toronto.
Distributed Query Answering in Peer-to-peer Reasoning Systems [PDF] Distributed Query Answering in Peer-to-peer Reasoning Systems [bib]
Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer. Binas, A., and Ioerger, T. 2004. Department of Computer Science, Texas A&M University, Technical Report TSSTI-TR-10-04.
Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer [PDF] Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer [bib]
Distributed Query Answering in Peer-to-peer Reasoning Systems. Binas, A. 2007. Master's Thesis, University of Toronto, January.
Distributed Query Answering in Peer-to-peer Reasoning Systems [bib]
Exploiting Prefereces over Information Sources to Efficiently Resolve Inconsistencies in Peer-to-peer Query Answering. Binas, A., and McIlraith, S. A. 2007. In Proceedings of the 2007 AAAI Workshop on Preference Handling for Artificial Intelligence (AIPref-2007, Vancouver, British Columbia), 15-22.
Exploiting Prefereces over Information Sources to Efficiently Resolve Inconsistencies in Peer-to-peer Query Answering [PDF] Exploiting Prefereces over Information Sources to Efficiently Resolve Inconsistencies in Peer-to-peer Query Answering [bib]
Link To This Page.