TY  - BOOK
AU  - Steffen,Bernhard
ED  - SpringerLink (Online service)
TI  - Bridging the Gap Between AI and Reality: First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings 
T2  - Lecture Notes in Computer Science,
SN  - 9783031460029
AV  - QA75.5-76.95 
PY  - 2024///
CY  - Cham
PB  - Springer Nature Switzerland, Imprint: Springer
KW  - Computer science
KW  - Software engineering
KW  - Computers, Special purpose
KW  - Computer systems
KW  - Artificial intelligence
KW  - Computer Science Logic and Foundations of Programming
KW  - Software Engineering
KW  - Special Purpose and Application-Based Systems
KW  - Computer System Implementation
KW  - Artificial Intelligence
N1  - Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming
N2  - This book constitutes the proceedings of the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023. The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of AI via the various kinds of formal methods-based validation techniques; dedicated applications scenarios which may allow certain levels of assistance; and education in times of deep learning.
UR  - https://doi.org/10.1007/978-3-031-46002-9
ER  -