A Constant-Space Sequential Model of Computation for First-Order Logic.

Published in: Inf. Comput. (1998)

Keyphrases

first order logic
expressive power
propositional logic
theorem proving
machine learning
np hard
probabilistic model
knowledge representation
parameter estimation
representation language