An Automated Deduction of the Relative Strength of Orthomodular and Weakly Orthomodular Lattice Theory.
Jack HornerPublished in: IC-AI (2009)
Keyphrases
- automated deduction
- lattice theory
- propositional logic
- theorem proving
- theorem prover
- mathematical morphology
- inference rules
- morphological operators
- neural computation
- first order logic
- deductive databases
- logic programming
- pattern analysis
- horn clauses
- knowledge base
- databases
- belief revision
- data analysis
- image processing
- computer vision
- neural network