Helmar Gust, Kai-Uwe Kühnberger, Peter Geibel. Learning Models of Predicate Logical Theories with Neural Networks Based on Topos Theory. In Barbara Hammer, Pascal Hitzler, editors, Perspectives of Neural-Symbolic Integration. Volume 77 of Studies in Computational Intelligence, pages 233-264, Springer, 2007. [doi]
Abstract is missing.