Refining First Order Theories with Neural Networks.

Marco Botta, Attilio Giordana, Roberto Piola

Browse the full ISMIS paper archive.