On Restrictions of Ordered Paramodulation with Simplification.

Leo Bachmair Harald Ganzinger

Published in: CADE (1990)

Keyphrases

inference rules
theorem proving
preprocessing
multiresolution
databases
first order logic
multiscale
search algorithm
knowledge base
social networks
image processing
database
multi agent systems
decision making
computer vision
machine learning
neural network
partially ordered