Keyphrases
- higher order logic
- lattice theory
- higher order
- propositional logic
- theorem prover
- conditional logic
- morphological operators
- belief revision
- mathematical morphology
- horn clauses
- logical framework
- first order logic
- neural computation
- pattern analysis
- automated reasoning
- data representation
- default reasoning
- machine learning
- programming language
- nonmonotonic reasoning
- inference rules