Stateful Authorization Logic: - Proof Theory and a Case Study.

Deepak Garg Frank Pfenning

Published in: STM (2010)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
logical equivalence
reasoning problems
machine learning
knowledge representation
cut elimination