Keyphrases
- logic programming
- fuzzy set theory
- context sensitive
- contextual information
- classical logic
- modal logic
- rough set theory
- data sets
- fuzzy logic
- database systems
- automated reasoning
- multi valued
- epistemic logic
- rough sets
- search engine
- logical framework
- database
- formal theory
- abductive reasoning
- proof theory
- delay insensitive