Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings /
This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humaniti...
Saved in:
| Institution som forfatter: | |
|---|---|
| Andre forfattere: | |
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2025.
|
| Udgivelse: | 1st ed. 2025. |
| Serier: | Lecture Notes in Computer Science,
15217 |
| Fag: | |
| Online adgang: | https://doi.org/10.1007/978-3-031-75434-0 |
| Tags: |
Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!
|
| Summary: | This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence. . |
|---|---|
| Fysisk beskrivelse: | XIII, 470 p. 126 illus., 97 illus. in color. online resource. |
| ISBN: | 9783031754340 |
| ISSN: | 1611-3349 ; |
| DOI: | 10.1007/978-3-031-75434-0 |