Keyphrases
- expressive power
- image interpolation
- modal logic
- real time
- propositional dynamic logic
- inference rules
- interpolation methods
- linear interpolation
- interpolation algorithm
- inheritance reasoning
- edge direction
- proof theory
- interpolation method
- classical logic
- nonmonotonic logics
- epistemic logic
- default logic
- sequent calculus
- proof theoretic
- proof procedures
- knowledge base
- sparse sampling
- neural network