---
title: "A Fully Connectionist Model Generator for Covered First-Order Logic Programs"
authors:
  - "Sebastian Bader"
  - "Pascal Hitzler"
  - "Steffen Hölldobler"
  - "Andreas Witzel"
doi: ""
url: "https://ijcai.org/proceedings/2007/106"
pdf: "https://ijcai.org/proceedings/2007/0106.pdf"
venue: "Proceedings of the Twentieth International Joint Conference on Artificial Intelligence"
year: 2007
pages: "666-670"
track: ""
keywords:
---

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

Sebastian Bader, Pascal Hitzler, Steffen Hölldobler, Andreas Witzel

*Proceedings of the Twentieth International Joint Conference on Artificial Intelligence*, pages 666-670.

## Abstract

We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples, we embed the associated semantic operator into a feed-forward network and train the network using the examples. This results in the learning of first-order knowledge while damaged or noisy data is handled gracefully.