Formal analysis of 2D image processing filters using higher-order logic theorem proving.
Adnan RashidSa'ed AbedOsman HasanPublished in: EURASIP J. Adv. Signal Process. (2022)
Keyphrases
- formal analysis
- theorem proving
- higher order logic
- theorem prover
- image processing
- first order logic
- automated reasoning
- term rewriting
- automated theorem proving
- inference rules
- higher order
- proof planning
- formal methods
- agent model
- parallel search
- conditional logic
- proof search
- consequence finding
- ban logic
- feature extraction
- proof procedure
- knowledge acquisition
- knowledge representation
- knowledge base
- propositional logic
- constraint satisfaction
- geometry theorem proving