Quantifier Elimination in Elementary Set Theory.
Ewa OrlowskaAndrzej SzalasPublished in: RelMiCS (2005)
Keyphrases
- set theory
- quantifier elimination
- first order logic
- inference rules
- functional programming
- constraint propagation
- knowledge representation
- cardinality constraints
- partial order
- fuzzy set theory
- boolean algebra
- constraint databases
- mathematical morphology
- closed sets
- rough set theory
- transitive closure
- artificial intelligence
- genetic algorithm
- probabilistic model
- image processing
- expert systems