Higher-Order Proof by Consistency.
Henrik LinnestadChristian PrehoferOlav LysnePublished in: FSTTCS (1996)
Keyphrases
- higher order
- higher order logic
- set intersection
- high order
- natural images
- theorem proving
- theorem prover
- pairwise
- real time
- markov random field
- linear logic
- image processing
- markov models
- lower order
- conditional random fields
- constraint networks
- automated theorem proving
- natural deduction
- mathematical proofs
- search algorithm
- multiscale
- database systems
- image segmentation
- knowledge base
- learning algorithm
- genetic algorithm