A Fully Connectionist Model Generator for Covered First-Order Logic Programs

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel. A Fully Connectionist Model Generator for Covered First-Order Logic Programs. In Manuela M. Veloso, editor, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007. pages 666-671, 2007. [doi]

Abstract

Abstract is missing.