Keyphrases
- rough sets
- modal logic
- rough set theory
- decision procedures
- temporal logic
- inference rules
- decision rules
- fuzzy sets
- granular computing
- nonmonotonic logics
- equivalence relation
- epistemic logic
- rule induction
- pattern recognition
- data mining
- attribute reduction
- rough set model
- situation calculus
- rough sets theory
- dominance relation
- default logic
- soft computing
- tool for data mining
- data analysis
- automated reasoning
- knowledge reduction
- continuous valued attributes
- kripke models
- uncertainty handling
- knowledge representation
- artificial intelligence