Keyphrases
- logical rules
- active rules
- set theory
- modal logic
- proof theoretic
- inference rules
- linear temporal logic
- predicate logic
- classical logic
- rule sets
- horn clauses
- machine learning
- rule engine
- rule discovery
- multi valued
- classification rules
- genetic algorithm
- data mining
- rule induction
- association rule mining
- logic programming
- logic programs
- logical representation
- natural language
- learning algorithm