Computation of normal logic programs by fibring neural networks (2005)

by V Komendantsky, A K Seda
Venue:In Proceedings of the Seventh International Workshop on First-Order Theorem Proving (FTP’05