Expanding the Realm of Systematic Proof Theory.

Agata Ciabattoni Lutz Straßburger Kazushige Terui

Published in: CSL (2009)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
qualitative and quantitative
artificial intelligence
decision making
multi agent
special case