Login / Signup
Resolution, Inverse Method and the Sequent Calculus.
Tanel Tammet
Published in:
Kurt Gödel Colloquium (1997)
Keyphrases
</>
sequent calculus
bayesian networks
expert systems
pairwise
dynamic programming
classification accuracy
energy function
inference rules
linear logic