A Proof Theory for Generic Judgments: An extended abstract.

Dale Miller Alwen Fernanto Tiu

Published in: LICS (2003)

Keyphrases

extended abstract
proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
machine learning
nonmonotonic reasoning
multi dimensional
belief revision
partial order