Using Connectionist Term Representations for First-Order-Deduction- A Critical View
Aus International Center for Computational Logic
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 Using Connectionist Term Representations for First-Order-Deduction- A Critical View](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
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
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
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@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}
}