OTTER 2.0.

Published in: CADE (1990)

Keyphrases

theorem prover
inference rules
first order logic
machine learning
artificial intelligence
training data
probability distribution
modal logic