KIT | KIT-Bibliothek | Impressum | Datenschutz

Intersymbolic AI – Interlinking Symbolic AI and Subsymbolic AI

Platzer, André ORCID iD icon

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 2025
Sprache Englisch
Identifikator ISBN: 978-3-031-75387-9
ISSN: 0302-9743
KITopen-ID: 1000176803
Erschienen in Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies. Part IV. Ed.: T. Margaria
Veranstaltung 12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024), Crete, Greece, 27.10.2024 – 31.10.2024
Verlag Springer Nature Switzerland
Seiten 162–180
Serie Lecture Notes in Computer Science ; 15222
Vorab online veröffentlicht am 26.10.2024
Nachgewiesen in Dimensions

Verlagsausgabe §
DOI: 10.5445/IR/1000176803
Veröffentlicht am 02.12.2024
Originalveröffentlichung
DOI: 10.1007/978-3-031-75387-9_11
Dimensions
Zitationen: 3
Seitenaufrufe: 18
seit 05.12.2024
Downloads: 14
seit 06.12.2024
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page