The Core Method: Connectionist Model Generation for First-Order Logic Programs

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel. The Core Method: Connectionist Model Generation for First-Order Logic Programs. In Barbara Hammer, Pascal Hitzler, editors, Perspectives of Neural-Symbolic Integration. Volume 77 of Studies in Computational Intelligence, pages 205-232, Springer, 2007. [doi]

Authors

Sebastian Bader

This author has not been identified. Look up 'Sebastian Bader' in Google

Pascal Hitzler

This author has not been identified. Look up 'Pascal Hitzler' in Google

Steffen Hölldobler

This author has not been identified. Look up 'Steffen Hölldobler' in Google

Andreas Witzel

This author has not been identified. Look up 'Andreas Witzel' in Google