Login / Signup
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)