Keyphrases
- rule discovery
- modal logic
- logic programs
- association rules
- rule learning
- logic programming
- data sets
- active databases
- classification rules
- rule induction
- deductive databases
- compositional semantics
- database
- predicate logic
- propositional logic
- temporal logic
- rule sets
- genetic programming
- rough sets
- data model
- relational databases
- decision trees