Proof Rules for Flush Channels.
Tracy CampPhil KearnsMohan AhujaPublished in: IEEE Trans. Software Eng. (1993)
Keyphrases
- logical rules
- production rules
- rule sets
- classification rules
- association rules
- rule generation
- multi channel
- rule based systems
- decision making
- theorem proving
- cut elimination
- artificial intelligence
- rule mining
- rule extraction
- active databases
- rule induction
- learning classifier systems
- decision rules
- background knowledge
- domain knowledge
- database systems
- social networks