Towards a Proof Theory for Basic Logic.

Thomas Vetterlein

Published in: IFSA (2) (2007)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
machine learning
belief revision
probabilistic reasoning
nonmonotonic reasoning
cp nets