The Connection Graph Proof Procedure as a Logical-Connectionist Model of the Mind.

Robert Kowalski

Published in: NeSy (2011)

Keyphrases

probabilistic model
formal model
optimal solution
probability distribution
knowledge representation
logic programs