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]
@incollection{BaderHHW07:0, title = {The Core Method: Connectionist Model Generation for First-Order Logic Programs}, author = {Sebastian Bader and Pascal Hitzler and Steffen Hölldobler and Andreas Witzel}, year = {2007}, doi = {10.1007/978-3-540-73954-8_9}, url = {http://dx.doi.org/10.1007/978-3-540-73954-8_9}, tags = {logic programming, logic, Pascal}, researchr = {https://researchr.org/publication/BaderHHW07%3A0}, cites = {0}, citedby = {0}, pages = {205-232}, booktitle = {Perspectives of Neural-Symbolic Integration}, editor = {Barbara Hammer and Pascal Hitzler}, volume = {77}, series = {Studies in Computational Intelligence}, publisher = {Springer}, isbn = {978-3-540-73953-1}, }