Compressing Propositional Proofs by Common Subproof Extraction.

Published in: EUROCAST (2007)

Keyphrases

propositional logic
first order logic
information extraction
automatic extraction
horn clauses
real time
data sets
information systems
theorem proving
default logic
learning algorithm
decision trees
image quality
knowledge compilation
automated theorem provers
sound and complete axiomatization