Towards a Combinatorial Proof Theory.

Benjamin Ralph Lutz Straßburger

Published in: TABLEAUX (2019)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
machine learning
special case
np complete
belief revision
default logic