The Higher-Order Prover Leo-III.

Alexander Steen Christoph Benzmüller

Published in: ECAI (2020)

Keyphrases

higher order
natural images
theorem proving
high order
theorem prover
markov random field
automated theorem proving
pairwise
low order
lower order
auxiliary variables
high level
databases
markov models
first order logic
conditional random fields
expert systems
database systems
search engine