{"type":"ScholarlyArticle","title":"A Fully Connectionist Model Generator for Covered First-Order Logic Programs","authors":[{"name":"Sebastian Bader","slug":"sebastian-bader","given":"Sebastian","family":"Bader","affiliation":""},{"name":"Pascal Hitzler","slug":"pascal-hitzler","given":"Pascal","family":"Hitzler","affiliation":""},{"name":"Steffen Hölldobler","slug":"steffen-holldobler","given":"Steffen","family":"Hölldobler","affiliation":""},{"name":"Andreas Witzel","slug":"andreas-witzel","given":"Andreas","family":"Witzel","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2007/106","pdf":"https://ijcai.org/proceedings/2007/0106.pdf","markdown":"https://ijcai.org/proceedings/2007/106.md","bibtex":"https://ijcai.org/proceedings/2007/bibtex/106","volume":{"slug":"2007","title":"Proceedings of the Twentieth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2007","url":"https://ijcai.org/proceedings/2007/","year":2007,"location":"Hyderabad, India","dates":"","editors":"Ramon López de Mántaras","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":106,"pages":{"first":666,"last":670},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}