Theories and Ordinals in Proof Theory.

Michael Rathjen

Published in: Synth. (2006)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
cp nets
theoretical framework
reasoning problems
machine learning
expert systems
description logics
multi dimensional
integrity constraints
theorem proving