Arnold Binas

According to our database, Arnold Binas authored at least 3 papers between 2004 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2008

Peer-to-Peer Query Answering with Inconsistent Knowledge.

Arnold Binas, Sheila A. McIlraith

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

2004

Guiding a Theorem Prover with Soft Constraints.

John K. Slaney, Arnold Binas, David Price

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Semantically Guiding a First-Order Theorem Prover with a Soft Model.

Arnold Binas, John K. Slaney

Proceedings of the Nineteenth National Conference on Artificial Intelligence, 2004