Binas, A. and McIlraith, S. (2008). Peer-to-peer Query Answering with Inconsistent Knowledge. Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008, Sydney, Australia), 329–339. (talk slides)
Binas, A. and Slaney, J. K. (2004). Semantically Guiding a First-Order Theorem Prover with a Soft Model. Proceedings of the Nineteenth National Conference on Artificial Intelligence (AAAI-04, San Jose, California), 948–949. Student abstract and poster presentation. (poster: PDF JPG)
Slaney J. K., Binas A., Price D. (2004). Guiding a Theorem Prover with Soft Constraints. Proceedings of the European Conference on Artificial Intelligence (ECAI-2004, Valencia, Spain), 221–225.
Binas, A. and McIlraith, S. (2007). Exploiting Prefereces over Information Sources to Efficiently Resolve Inconsistencies in Peer-to-peer Query Answering. Proceedings of the 2007 AAAI Workshop on Preference Handling for Artificial Intelligence (AIPref-2007, Vancouver, British Columbia), 15–22.
Binas, A. and McIlraith, S. (2007). Distributed Query Answering in Peer-to-peer Reasoning Systems. Technical report, Department of Computer Science, University of Toronto.
Binas, A. and Ioerger, T.R. (2004). Multi-Agent Belief Reasoning in a First-Order Logic Back-Chainer. Technical report TSSTI-TR-10-04, Training System Science and Technology Initiative, Department of Computer Science, Texas A&M University.
Binas, A. Distributed Query Answering in Peer-to-peer Reasoning Systems. M.Sc. thesis, Department of Computer Science, University of Toronto, January 2007.
The system described in the refereed publications above (now called SOS) also participated in the CADE ATP System Competition as part of The 2nd International Joint Conference on Automated Reasoning (IJCAR 2004, Cork, Ireland).
