Arnold Binas

Publication Activity (10 Years)

Years Active: 2004-2008
Publications (10 Years): 0

Publications

Arnold Binas, Sheila A. McIlraith
Peer-to-Peer Query Answering with Inconsistent Knowledge. KR (2008)
John K. Slaney, Arnold Binas, David Price
Guiding a Theorem Prover with Soft Constraints. ECAI (2004)
Arnold Binas, John K. Slaney
Semantically Guiding a First-Order Theorem Prover with a Soft Model. AAAI (2004)