Keyphrases
- contextual information
- predicate logic
- attribute values
- modal logic
- classical logic
- automated reasoning
- context dependent
- data sets
- defeasible logic
- logical framework
- context sensitive
- logic programming
- databases
- real time
- relational databases
- multi valued
- artificial intelligence
- machine learning
- abductive reasoning
- epistemic logic
- proof theory