Login / Signup
A Defense of Proof Theory as the Right Foundations.
M. R. Sadler
Published in:
ADT (1986)
Keyphrases
</>
proof theory
default reasoning
proof theoretic
automated reasoning
artificial intelligence
reasoning problems
nonmonotonic reasoning
graphical models
partial order
np complete