Linear Paramodulation modulo Equality.

Ulrich Furbach Steffen Hölldobler Joachim F. Schreiber

Published in: GWAI (1989)

Keyphrases

first order logic
machine learning
three dimensional
data model
mobile robot
rough sets
quadratic programming
optimal linear
real world
genetic algorithm
multiscale
expressive power
theorem proving
simple linear