Computing First-Order Logic Programs by Fibring Artificial Neural Networks

From International Center for Computational Logic

Toggle side column

Computing First-Order Logic Programs by Fibring Artificial Neural Networks

Sebastian BaderSebastian Bader,  Artur S. d'Avila GarcezArtur S. d'Avila Garcez,  Pascal HitzlerPascal Hitzler
Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler
Computing First-Order Logic Programs by Fibring Artificial Neural Networks
In I. Russell and Z. Markov, eds., Proceedings of the 18th International Florida Artificial Intelligence Research Symposium Conference, FLAIRS05, Clearwater Beach, Florida, May 2005, 314-319, 2005. AAAI Press
@inproceedings{BGH2005,
  author    = {Sebastian Bader and Artur S. {d'Avila} Garcez and Pascal Hitzler},
  title     = {Computing First-Order Logic Programs by Fibring Artificial Neural
               Networks},
  editor    = {I. Russell and Z. Markov},
  booktitle = {Proceedings of the 18th International Florida Artificial
               Intelligence Research Symposium Conference, {FLAIRS05,}
               Clearwater Beach, Florida, May 2005},
  publisher = {AAAI Press},
  year      = {2005},
  pages     = {314-319}
}