Keyphrases
- modal logic
- logical rules
- truth values
- closed world assumptions
- derivation rules
- rule engine
- classical logic
- decision rules
- association rules
- rule extraction
- intuitionistic logic
- cut elimination
- active rules
- temporal logic
- classification rules
- attribute values
- association rule mining
- artificial intelligence
- data mining
- predicate logic
- asynchronous circuits
- rule sets
- state space