Versenden
Drucken
Reineccius, Dorian (2026) LTNjax: JAX implementation of Logic Tensor Networks. [sonstige Veröffentlichung]
Dies ist die aktuellste Version dieses Eintrags.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: https://github.com/DLR-KI/LTNjax/
Kurzfassung
LTNjax is a neurosymbolic framework that allows the implementation of knowledge in the form of logical expressions as objective for neural networks. LTN uses a differentiable first-order logic language, called Real Logic, to incorporate machine learning and logic.
| elib-URL des Eintrags: | https://elib.dlr.de/225334/ | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | sonstige Veröffentlichung | ||||||||
| Titel: | LTNjax: JAX implementation of Logic Tensor Networks | ||||||||
| Autoren: |
| ||||||||
| Datum: | 26 Juni 2026 | ||||||||
| Erschienen in: | github.com | ||||||||
| Referierte Publikation: | Nein | ||||||||
| Open Access: | Nein | ||||||||
| DOI: | 10.5281/zenodo.20923236 | ||||||||
| Status: | veröffentlicht | ||||||||
| Stichwörter: | deutsches zentrum für luft- und raumfahrt, dlr, german aerospace center, logic tensor networks, ltn, neurosymbolic ai, fuzzy logic, machine learnin, logic | ||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||
| HGF - Programm: | Raumfahrt | ||||||||
| HGF - Programmthema: | Robotik | ||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||
| DLR - Forschungsgebiet: | R RO - Robotik | ||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Synergieprojekt ASPIRO | ||||||||
| Standort: | andere | ||||||||
| Institute & Einrichtungen: | Institut für KI-Sicherheit | ||||||||
| Hinterlegt von: | Reineccius, Dorian | ||||||||
| Hinterlegt am: | 29 Jun 2026 08:19 | ||||||||
| Letzte Änderung: | 29 Jun 2026 08:19 |
Verfügbare Versionen dieses Eintrags
- LTNjax: JAX implementation of Logic Tensor Networks. (deposited 29 Jun 2026 08:19) [Gegenwärtig angezeigt]
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
