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 http://www.aaai.org/Library/FLAIRS/2005/flairs05-052.php