Taming Displayed Tense Logics Using Nested Sequents with Deep Inference.
Rajeev GoréLinda PostnieceAlwen TiuPublished in: TABLEAUX (2009)
Keyphrases
- linear logic
- sequent calculus
- modal logic
- inference rules
- bayesian inference
- belief networks
- nonmonotonic inference
- bayesian networks
- expressive power
- probabilistic inference
- belief nets
- structured prediction
- deep learning
- expert systems
- fixed point
- hierarchical structure
- inference engine
- classical logic
- higher order
- proof theory
- hidden markov models