Keyphrases
- logic synthesis
- classical logic
- multi valued
- logic programming
- decomposition algorithm
- decomposition method
- automated reasoning
- data mining
- decomposition methods
- information systems
- machine learning
- databases
- temporal logic
- wavelet packet
- relational databases
- search algorithm
- case study
- computational properties
- defeasible logic
- learning algorithm
- image decomposition
- hierarchical decomposition
- proof theory
- sound and complete axiomatization