Computing first-order logic programs by fibring artificial neural networks (2005)

by Sebastian Bader, Arthur d’Avila Garcez, Pascal Hitzler
Venue:In Proceedings of the 18th International FLAIRS Conference