? A Survey of Some Results in Proof Theory.

Jean H. Gallier

Published in: Ann. Pure Appl. Log. (1991)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
belief revision
artificial intelligence
lower bound
machine learning
multi agent
expert systems
inference rules