Publications

group by: none authors authors_link booktitle details institution month number opttype pages pureurls school title type urls year none authors authors_link booktitle details institution month number opttype pages pureurls school title type urls year none authors authors_link booktitle details institution month number opttype pages pureurls school title type urls year

generated by

Conferences (3)

2008 (1) 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 Bibtex   2004 (2) 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 Bibtex 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 Bibtex

Technical Reports (2)

2007 (1) 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 Bibtex   2004 (1) 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 Bibtex

Theses (1)

2007 (1) Distributed Query Answering in Peer-to-peer Reasoning Systems. Binas, A. 2007. Master's Thesis, University of Toronto, January. Bibtex

Workshops (1)

2007 (1) 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 Bibtex

Link To This Page.