Keyphrases
- alternating time temporal logic
- attribute selection
- logic programming
- attribute values
- modal logic
- automated reasoning
- databases
- classical logic
- genetic algorithm
- relational databases
- model checking
- sound and complete axiomatization
- dynamic logic
- deontic logic
- predicate logic
- fuzzy sets
- database systems
- information systems
- data mining