First Experiments with Rue Automated Deduction.

Vincent J. Digricoli

Published in: AAAI (1980)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
logic programming
deductive databases
artificial intelligence
first order logic
knowledge base
active learning