Keyphrases
- formal theory
- modal operators
- modal logic
- logic programming
- probabilistic logic
- proof theory
- multi valued
- classical logic
- qualitative reasoning
- defeasible logic
- nonmonotonic logics
- dynamic logic
- deontic logic
- probabilistic knowledge
- epistemic logic
- abductive reasoning
- predicate logic
- digital circuits
- neural network
- spatial reasoning
- information retrieval
- machine learning