Refining First Order Theories with Neural Networks.

Marco Botta Attilio Giordana Roberto Piola Refining First Order Theories with Neural Networks. 84-93 1997 conf/ismis/1997 ISMIS db/conf/ismis/ismis97.html#BottaGP97 http://dx.doi.org/10.1007/3-540-63614-5_8