Login / Signup
Semantics and Proof Theory of the Epsilon Calculus.
Richard Zach
Published in:
ICLA (2017)
Keyphrases
</>
proof theory
proof theoretic
default reasoning
automated reasoning
reasoning problems
knowledge representation
probabilistic reasoning
nonmonotonic reasoning
linear logic