Experiments in Automated Deduction with Condensed Detachment.

William McCune Larry Wos

Published in: CADE (1992)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
logic programming
deductive databases
artificial intelligence
database
information retrieval
reinforcement learning
relational databases
multiresolution
general purpose
programming language