Login / Signup
Machine Checking Proof Theory: An Application of Logic to Logic.
Rajeev Goré
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