Arnold Binas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

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

	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

Coauthor Index

1 Sheila A. McIlraith [3]

2 David Price [1]

3 John K. Slaney [1] [2]

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Sheila A. McIlraith	[3]
2	David Price	[1]
3	John K. Slaney	[1] [2]