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