The KLAUS Automated Deduction System.

Mark E. Stickel

Published in: CADE (1986)

Keyphrases

automated deduction
theorem proving
theorem prover
inference rules
logic programming
deductive databases
artificial intelligence
databases
general purpose
knowledge representation
logic programs
knowledge base
data sources
query processing
software engineering
supervised learning