A Sound and Complete Proof Theory for Propositional Logical Contingencies.

Alexander Hertel Philipp Hertel Charles Morgan

Published in: Notre Dame J. Formal Log. (2007)

Keyphrases

proof theory
default reasoning
probabilistic logic
proof theoretic
automated reasoning
model theoretic
machine learning
knowledge representation
first order logic
constraint programming
artificial intelligence
theorem proving