Keyphrases
- expressive power
- modal logic
- inference rules
- fuzzy set theory
- fuzzy logic
- rough set theory
- proof theory
- classical logic
- propositional calculus
- knowledge representation
- expert systems
- pattern recognition
- decision trees
- web services
- default reasoning
- information retrieval
- neural network
- decision procedures
- conditional logic
- databases
- proof theoretic
- database