Presumption and prejudice in logical inference.

Thomas Whalen Brian Schott

Published in: Int. J. Approx. Reason. (1989)

Keyphrases

logical inference
theorem proving
probabilistic inference
knowledge compilation
logical structure
probability distribution
information retrieval
artificial intelligence
content based retrieval