Keyphrases
- logical rules
- production rules
- rule based systems
- association rules
- rule sets
- classification rules
- proof theoretic
- argumentation schemes
- rule extraction
- inference engine
- theorem prover
- databases
- decision rules
- knowledge representation
- relational databases
- natural language
- data structure
- case study
- information systems
- information retrieval