"Approximating the Semantics of Logic Programs by Recurrent Neural Networks."

Steffen Hölldobler, Yvonne Kalinke, Hans-Peter Störr (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics