Keyphrases
- contextual information
- fuzzy logic
- rough set theory
- classical logic
- context sensitive
- modal logic
- logic programming
- fuzzy set theory
- multi valued
- predicate logic
- website
- search engine
- information retrieval
- nonmonotonic logics
- logic synthesis
- database
- sound and complete axiomatization
- knowledge discovery
- expert systems
- high level
- real time