KIT | KIT-Bibliothek | Impressum | Datenschutz

A Fully Connectionist Model Generator for Covered 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 Proceedingsbeitrag
Jahr 2007
Sprache Englisch
Identifikator ISBN: 978-1-577-35298-3
KITopen ID: 1000016832
Erschienen in Proceedings of the Twentieth International Joint Conference on Artificial Intelligence, Hyderabad, India, 6 - 12 January, 2007. Ed.: M. M. Veloso
Verlag AAAI Press, Menlo Park (Calif.)
Seiten 666 - 671
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page