Keyphrases
- logic programming
- classical logic
- rule engine
- predicate logic
- modal logic
- decomposition method
- logic synthesis
- defeasible logic
- association rules
- hierarchical decomposition
- active rules
- rule induction
- proof theory
- logical rules
- data mining
- rule discovery
- rule learning
- multi valued
- active databases
- decomposition algorithm
- decomposition methods
- rule sets
- automated reasoning
- first order logic
- probability theory