A Completeness Proof Technique for Resolution with Equality.

Peter Baumgartner

Published in: GWAI (1991)

Keyphrases

automatic theorem proving
consequence finding
theorem proving
high resolution
theorem prover
genetic algorithm
image sequences
linear logic
special case
proof theory
data quality
logic programs
rough sets
databases
artificial neural networks
high quality
similarity measure
data mining
neural network