Propositional Proof Systems and Fast Consistency Provers.

Joost J. Joosten

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

Keyphrases

theorem prover
theorem proving
first order logic
set intersection
knowledge base
bayesian networks
expert systems
control system
management system
software development
logic programs
knowledge based systems
propositional logic