Bottom-Up Earley Deduction.

Published in: COLING (1994)

Keyphrases

inference rules
theorem proving
data driven
theorem prover
attention mechanism
database
wide range
higher order
proof procedure
computer algebra
real time
data mining
three dimensional
multiscale
digital libraries
visual attention