Bottom-Up Deduction with Deletion and Priorities.

Harald Ganzinger

Published in: PADO (2001)

Keyphrases

inference rules
theorem proving
data driven
visual attention
high priority
attention mechanism
knowledge base
special case
automated theorem proving
deductive reasoning
intuitionistic logic