Rereading Gentzen.

Published in: Synth. (2003)

Keyphrases

horn clauses
sequent calculus
linear time temporal logic
databases
bayesian networks
knowledge base
dynamic programming
dimensionality reduction
contextual information