#### Filter Results:

#### Key Phrase

#### Publication Venue

Learn More

- Gadi Pinkus
- NIPS
- 1991

This paper considers the problem of expressing predicate calculus in con-nectionist networks that are based on energy minimization. Given a first-order-logic knowledge base and a bound k, a symmetric network is constructed (like a Boltzman machine or a Hopfield network) that searches for a proof for a given query. If a resolution-based proof of length no… (More)

- ‹
- 1
- ›