A Fully Connectionist Model Generator for Covered First-Order Logic Programs.

Sebastian Bader Pascal Hitzler Steffen Hölldobler Andreas Witzel A Fully Connectionist Model Generator for Covered First-Order Logic Programs. 666-671 2007 conf/ijcai/2007 IJCAI http://dli.iiit.ac.in/ijcai/IJCAI-2007/PDF/IJCAI07-106.pdf db/conf/ijcai/ijcai2007.html#BaderHHW07