Paramodulation with Non-Monotonic Orderings and Simplification.

Miquel Bofill Albert Rubio

Published in: J. Autom. Reason. (2013)

Keyphrases

inference rules
theorem proving
multiresolution
first order logic
preprocessing
object recognition
relational databases
databases
computer vision
learning environment
cooperative
pattern recognition
fuzzy logic
modal logic
elementary functions