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

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel. A Fully Connectionist Model Generator for Covered First-Order Logic Programs. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 666-671, 2007. [doi]

@inproceedings{BaderHHW07,
  title = {A Fully Connectionist Model Generator for Covered First-Order Logic Programs},
  author = {Sebastian Bader and Pascal Hitzler and Steffen Hölldobler and Andreas Witzel},
  year = {2007},
  url = {http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-106.pdf},
  tags = {logic programming, logic, Pascal},
  researchr = {https://researchr.org/publication/BaderHHW07},
  cites = {0},
  citedby = {0},
  pages = {666-671},
  booktitle = {IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  editor = {Manuela M. Veloso},
}