1. Bader, S., A.S. d'Avila Garcez and P. Hitzler, Computing first-order logic programs by fibring artificial neural networks, in: Proceedings of the 18th International FLAIRS Conference, Florida, May 2005, 2005, to appear
2. Logic programs, iterated function systems, and recurrent radial basis function networks;Bader;Journal of Applied Logic,2004
3. Massively parallel reasoning;Bornscheuer,1998
4. Acyclic programs and the completeness of SLDNF-resolution;Cavedon;Theoretical Computer Science,1991
5. Approximation by superpositions of a sigmoidal function;Cybenko;Mathematics of Control, Signals, and Systems,1989