00900nas a2200157 4500008004100000245008100041210006900122260002100191300001200212520040000224100002100624700002400645700002000669700002000689856003300709 2007 eng d00aA Fully Connectionist Model Generator for Covered First-Order Logic Programs0 aFully Connectionist Model Generator for Covered FirstOrder Logic aHyderabad, India a666-6713 aWe 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.1 aBader, Sebastian1 aHolldobler, Steffen1 aWitzel, Andreas1 aHitzler, Pascal uhttp://knoesis.org/node/1206