Automated Deduction: Looking Ahead.

Donald W. Loveland

Published in: AI Mag. (1999)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
logic programming
deductive databases
artificial intelligence
databases
data mining
database
general purpose
first order logic