Parallelizing the Closure Computation in Automated Deduction.

John K. Slaney Ewing L. Lusk

Published in: CADE (1990)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
inference rules
parallel processing
deductive databases
computer vision
efficient computation
linear algebra
parallel computation
machine learning
website
first order logic
databases
knowledge base
search engine