Proof Transformation with Built-in Equality Predicate.

Christoph Lingenfelder Axel Präcklein

Published in: IJCAI (1991)

Keyphrases

first order logic
theorem prover
theorem proving
neural network
linear transformation
machine learning
artificial intelligence
multiscale
multi agent systems
evolutionary algorithm
expressive power
query answering
equivalence relation