Induction and Co-induction in Sequent Calculus

Alwen Tiu Alberto Momigliano

Published in: CoRR (2008)

Keyphrases

sequent calculus
inductive learning
object oriented
learning algorithm
artificial intelligence
feature space
pairwise
graphical models
proof search