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. 205-232 2007 Perspectives of Neural-Symbolic Integration http://dx.doi.org/10.1007/978-3-540-73954-8_9 series/sci/2007-77 db/series/sci/sci77.html#BaderHHW07