Arnold Binas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2004–2008
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | KR | Peer-to-Peer Query Answering with Inconsistent Knowledge. | Arnold Binas, Sheila A. McIlraith |
| 2004 | AAAI | Semantically Guiding a First-Order Theorem Prover with a Soft Model. | Arnold Binas, John K. Slaney |
| 2004 | ECAI | Guiding a Theorem Prover with Soft Constraints. | John K. Slaney, Arnold Binas, David Price |