Early History and Perspectives of Automated Deduction.

Published in: KI (2007)

Keyphrases

automated deduction
theorem proving
theorem prover
logic programming
deductive databases
inference rules
artificial intelligence
general purpose
knowledge base
image processing
case study
supervised learning
multiple perspectives
historical information