Machine Checking Proof Theory: An Application of Logic to Logic.

Published in: ICLA (2009)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
modal logic
reasoning problems
learning algorithm
knowledge base
logic programming
partial order
multi attribute