Keyphrases
- modal logic
- logic programming
- nonmonotonic logics
- defeasible logic
- autoepistemic logic
- classical logic
- contextual information
- context dependent
- nonmonotonic reasoning
- higher order
- logic programs
- multiple inheritance
- abductive reasoning
- multi valued
- default logic
- context sensitive
- query evaluation
- knowledge base
- neural network
- proof theory
- databases