Extensional Higher-Order Paramodulation in Leo-III.

Alexander Steen Christoph Benzmüller

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

Keyphrases

higher order
inference rules
pairwise
theorem proving
high order
first order logic
natural images
markov random field
low order
anti unification
lower order
machine learning
denoising
conditional random fields
search algorithm
partial order
markov models
multiscale
knowledge base
computer vision