A Fully Connectionist Model Generator for Covered First-Order Logic Programs

Bader et al. "A Fully Connectionist Model Generator for Covered First-Order Logic Programs." International Joint Conference on Artificial Intelligence, 2007.

[Bader et al. "A Fully Connectionist Model Generator for Covered First-Order Logic Programs." International Joint Conference on Artificial Intelligence, 2007.](https://mlanthology.org/ijcai/2007/bader2007ijcai-fully/)

@inproceedings{bader2007ijcai-fully,
  title     = {{A Fully Connectionist Model Generator for Covered First-Order Logic Programs}},
  author    = {Bader, Sebastian and Hitzler, Pascal and Hölldobler, Steffen and Witzel, Andreas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2007},
  pages     = {666-671},
  url       = {https://mlanthology.org/ijcai/2007/bader2007ijcai-fully/}
}