Bridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

This open access book constitutes revised selected papers from 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 extend the presentation in the AISoLA 2024 on-site...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Format: E-Book
Sprache:Englisch
Veröffentlicht: Cham Springer Nature 2026
Schriftenreihe:Lecture Notes in Computer Science; Computer Science; Computer Science (R0)
Schlagworte:
AI systems
Artificial intelligence
artificial intelligence (AI)
Collaborative and Social Computing
Computer programming / software engineering
Computer science
Computing and Information Technology
deep learning (DL)
Dependable and Fault-Tolerant Systems and Networks
Expert systems / knowledge-based systems
Human-Computer Interaction (HCI)
industrial applications
large language models
machine learning (ML)
Mathematical theory of computation
Model Checking
Models of Computation
Natural Language Processing (NLP)
Open Access
Probability and Statistics
Software Creation and Management
Software Engineering
Systems analysis and design
Verification
ISBN:3032013763, 9783032013774, 9783032013767, 3032013771
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:This open access book constitutes revised selected papers from 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 extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches using formal methods and AI; responsible and trusted AI: an interdisciplinary perspective; statistical model checking; and verification for neur-symbolic artificial intelligence.
Bibliographie:Funded by: AISola Community
ISBN:3032013763
9783032013774
9783032013767
3032013771
DOI:10.1007/978-3-032-01377-4