Automated Generation of Logical Constraints on Approximation Spaces Using Quantifier Elimination.

Patrick Doherty Andrzej Szalas

Published in: Fundam. Informaticae (2013)

Keyphrases

quantifier elimination
cardinality constraints
approximation spaces
rough sets
functional programming
constraint propagation
constraint databases
first order logic
linear constraints
granular computing
databases
knowledge representation
random variables
rough set theory