The Complexity of Propositional Proofs with the Substitution Rule.

Alasdair Urquhart

Published in: Log. J. IGPL (2005)

Keyphrases

polynomial hierarchy
computational complexity
first order logic
propositional logic
machine learning
multi valued
data sets
theorem prover
theorem proving
rule learning
probabilistic logic
causal graph
rule learner
automated theorem provers