KIT | KIT-Bibliothek | Impressum | Datenschutz

The Core Method: Connectionist Model Generation for First-Order Logic Programs

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



Zugehörige Institution(en) am KIT Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp Buchaufsatz
Jahr 2007
Sprache Englisch
Identifikator ISBN: 978-3-540-73953-1
ISSN: 1860-949X
KITopen-ID: 1000017180
Erschienen in Perspectives of Neural-Symbolic Integration. Ed.: B. Hammer
Verlag Springer, Berlin
Seiten 205 - 232
Serie Studies in Computational Intelligence ; 77
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page