Sign in
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