Editorial: Proof Theory Corner.

Published in: J. Log. Comput. (2009)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
nonmonotonic reasoning
special case