A fully connectionist model generator for covered first-order logic programs (2007)

by S Bader, P Hitzler, S Hölldobler, A Witzel
Venue:Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI-07