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

by S Bader, P Hitzler, S Hölldobler, A Witzel
Venue:in Proceedings of the 20th International Conference On Artificial Intelligence IJCAI07