Keyphrases
- proof theory
- expressive power
- modal logic
- proof theoretic
- higher order logic
- decision procedures
- database
- higher level
- inference rules
- theorem proving
- default reasoning
- representation scheme
- multiple representations
- sequent calculi
- theorem prover
- real time
- nonmonotonic logics
- hybrid approaches
- distributed representations
- hybrid learning