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]
Abstract is missing.