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

Sebastian Bader, Pascal Hitzler, Steffen Hlldobler, Andreas Witzel

Browse the full IJCAI paper archive.