Higher order Proof Reconstruction from Paramodulation-Based Refutations: The Unit Equality Case.
Andrea AspertiEnrico TassiPublished in: Calculemus/MKM (2007)
Keyphrases
- higher order
- theorem proving
- theorem prover
- inference rules
- higher order logic
- proof search
- first order logic
- compressed sensing
- natural images
- image reconstruction
- machine learning
- markov random field
- high resolution
- conditional random fields
- high order
- three dimensional
- reconstruction method
- image processing
- low order
- learning algorithm
- neural network