| |
| 2008 | ||
|---|---|---|
| 3 | Arnold Binas, Sheila A. McIlraith: Peer-to-Peer Query Answering with Inconsistent Knowledge. KR 2008: 329-339 | |
| 2004 | ||
| 2 | Arnold Binas, John K. Slaney: Semantically Guiding a First-Order Theorem Prover with a Soft Model. AAAI 2004: 948-949 | |
| 1 | John K. Slaney, Arnold Binas, David Price: Guiding a Theorem Prover with Soft Constraints. ECAI 2004: 221-225 | |
| 1 | Sheila A. McIlraith | [3] |
| 2 | David Price | [1] |
| 3 | John K. Slaney | [1] [2] |