The Higher-Order Prover Leo-III (Extended Abstract).
Alexander SteenChristoph BenzmüllerPublished in: KI (2019)
Keyphrases
- extended abstract
- higher order
- high order
- natural images
- theorem prover
- markov random field
- low order
- theorem proving
- pairwise
- conditional random fields
- markov models
- artificial intelligence
- scheduling problem
- preprocessing
- database
- lambda calculus
- object oriented
- probability distribution
- hidden markov models
- image processing