Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5.
Björn LellmannDirk PattinsonPublished in: TABLEAUX (2013)
Keyphrases
- modal logic
- knowledge base
- association rules
- production rules
- cut elimination
- association rule mining
- decision rules
- machine learning
- rule extraction
- rule sets
- domain experts
- attribute values
- first order logic
- classification rules
- background knowledge
- inference rules
- rough sets
- business rules
- rule induction
- image sequences
- logical rules
- data mining