Keyphrases
- rough sets
- relation algebra
- boolean algebra
- logic programming
- modal logic
- decision rules
- rough set theory
- greedy algorithm
- classical logic
- predicate logic
- set theory
- automated reasoning
- spatial reasoning
- decision table
- expressive power
- proof theory
- temporal reasoning
- delay insensitive
- distributive lattices
- data sets
- sound and complete axiomatization
- rough sets theory
- mathematical theory
- nonmonotonic logics
- attribute reduction
- artificial intelligence
- genetic algorithm