Keyphrases
- logical rules
- derivation rules
- proof theoretic
- rule engine
- association rules
- automated reasoning
- production rules
- rule sets
- modal logic
- rule base
- computational properties
- logic programming
- learning classifier systems
- decision rules
- horn clauses
- rule discovery
- set theory
- deontic logic
- asynchronous circuits
- background knowledge
- domain experts
- knowledge representation