Towards a proof theory for quantifier macros.

Matthias Baaz Anela Lolic

Published in: Inf. Comput. (2022)

Keyphrases

proof theory
default reasoning
automated reasoning
proof theoretic
reasoning problems
knowledge representation
graphical models
temporal reasoning