History and Prospects for First-Order Automated Deduction.

David A. Plaisted

Published in: CADE (2015)

Keyphrases

automated deduction
theorem proving
first order logic
theorem prover
term rewriting
inference rules
higher order
deductive databases
logic programming
real world
machine learning
knowledge base
multiscale
expert systems
relational learning
horn clauses