Using Connectionist Term Representations for First-Order-Deduction- A Critical View
From International Center for Computational Logic
Using Connectionist Term Representations for First-Order-Deduction- A Critical View
Yvonne KalinkeYvonne Kalinke
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}
}
