arXiv 2004-08-31 EN The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence Bader, Sebastian · Hitzler, Pascal · Hoelldobler, Steffen