On the Proof Theory of the Existence Predicate.

Matthias Baaz Rosalie Iemhoff

Published in: We Will Show Them! (1) (2005)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
decision making
expert systems
description logics
multi dimensional