Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach

From International Center for Computational Logic

Toggle side column

Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach

Sebastian BaderSebastian Bader,  Pascal HitzlerPascal Hitzler,  Andreas WitzelAndreas Witzel
Sebastian Bader, Pascal Hitzler, Andreas Witzel
Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
@inproceedings{BHW2005,
  author    = {Sebastian Bader and Pascal Hitzler and Andreas Witzel},
  title     = {Integrating First-Order Logic Programs and Connectionist Systems
               {\textemdash} A Constructive Approach},
  editor    = {Artur S. {d'Avila} Garcez and Jeff Elman and Pascal Hitzler},
  booktitle = {Proceedings of the {IJCAI-05} Workshop on Neural-Symbolic
               Learning and Reasoning, {NeSy'05,} Edinburgh, {UK}},
  year      = {2005}
}