Keyphrases
- modal operators
- modal logic
- rough sets
- rough set theory
- concept lattice
- greedy algorithm
- temporal logic
- attribute reduction
- decision table
- nonmonotonic logics
- description logics
- decision rules
- partially ordered
- situation calculus
- dynamic logic
- rough sets theory
- partial order
- inference rules
- fuzzy logic
- machine learning
- number restrictions
- software engineering
- artificial intelligence