Divvy: An ATP Meta-system Based on Axiom Relevance Ordering.

Alex Roederer Yury Puzis Geoff Sutcliffe

Published in: CADE (2009)

Keyphrases

information retrieval
theorem prover
databases
inference rules
meta level
automated theorem proving
database
information systems
feature selection
website
active learning
domain knowledge
probabilistic model
test collection
partial order
partial ordering