A relevance restriction strategy for automated deduction.

David A. Plaisted Adnan H. Yahya

Published in: Artif. Intell. (2003)

Keyphrases

automated deduction
theorem proving
inference rules
theorem prover
test collection
information retrieval
data mining
relational databases
logic programming
search strategy
database systems