Computing First-Order Logic Programs by Fibring Artificial Neural Networks.

Sebastian Bader Artur S. d'Avila Garcez Pascal Hitzler Computing First-Order Logic Programs by Fibring Artificial Neural Networks. 314-319 2005 conf/flairs/2005 FLAIRS Conference db/conf/flairs/flairs2005.html#BaderGH05