Using Connectionist Term Representations for First-Order-Deduction- A Critical View

From International Center for Computational Logic

Toggle side column

Using Connectionist Term Representations for First-Order-Deduction- A Critical View

Yvonne KalinkeYvonne Kalinke
Using Connectionist Term Representations for First-Order-Deduction- A Critical View


Yvonne Kalinke
Using Connectionist Term Representations for First-Order-Deduction- A Critical View
In J. Diederich F. Maire, R. Hayward, eds., CADE-14 Workshop on Connectionist Systems for Knowledge Representation and Deduction, 35-42, 1997
@inproceedings{K1997,
  author    = {Yvonne Kalinke},
  title     = {Using Connectionist Term Representations for
               First-Order-Deduction- A Critical View},
  editor    = {J. Diederich F. Maire and R. Hayward},
  booktitle = {CADE-14 Workshop on Connectionist Systems for Knowledge
               Representation and Deduction},
  year      = {1997},
  pages     = {35-42}
}