Library
. The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence. In Third International Conference on Information. Tokyo, Japan; 2004. 
(166.22 KB)
(166.22 KB). Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks. Journal of Applied Logic. 2004 ;:273- 300. (303.97 KB)
(303.97 KB). Computing First-Order Logic Programs by Fibring Artificial Neural Networks. In Eighteenth International Florida Artificial Intelligence Research Symposium Conference. Clearwater Beach, Florida, USA; 2005. (93.97 KB)
(93.97 KB). Dimensions of Neural-Symbolic Integration - A Structured Survey. In 2005. 
(0 bytes)
(0 bytes). Ontology Learning as a Use Case for Neural-Symbolic Integration. In Ontology Learning as a Use Case for Neural-Symbolic Integration. 2005.
. The Core Method: Connectionist Model Generation for First-Order Logic Programs. In 2007. (0 bytes)
(0 bytes). A Fully Connectionist Model Generator for Covered First-Order Logic Programs. In Twentieth International Joint Conference on Artificial Intelligence, IJCAI-07. Hyderabad, India; 2007. p. 666-671.
. Connectionist Model Generation: A First-Order Approach. Neurocomputing. 2008 ;:2420-2432. (581.02 KB)
(581.02 KB). Extracting Reduced Logic Programs from Artificial Neural Networks. 2010 ;. (326.57 KB)
(326.57 KB)