Independently Checkable Proofs from Decision Procedures: Issues and Progress.

Allen Van Gelder

Published in: LPAR (2005)

Keyphrases

decision procedures
theorem proving
modal logic
automated reasoning
reasoning problems
conjunctive queries
quantified boolean formulas
machine learning
inference rules
theorem prover
database
hidden markov models
fixpoint
tight complexity bounds