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

Published in: LCC (1994)

Keyphrases

first order logic
expressive power
formal model
inference rules
theorem proving
machine learning
artificial intelligence
knowledge base
probabilistic model
propositional logic
representation language
knowledge representation
np complete
probabilistic reasoning
entity resolution