Extensional Higher-Order Paramodulation in Leo-III.

Alexander Steen Christoph Benzmüller

Published in: CoRR (2019)

Keyphrases

higher order
natural images
high order
inference rules
pairwise
theorem proving
first order logic
markov random field
low order
conditional random fields
information systems
markov models
multi agent
decision making
lambda calculus
database
partial order
high level
knowledge base
search engine