03043nam a22005895i 4500 978-3-031-46002-9 DE-He213 20251030110852.0 cr nn 008mamaa 231213s2024 sz | s |||| 0|eng d 9783031460029 978-3-031-46002-9 10.1007/978-3-031-46002-9 doi QA75.5-76.95 UYA bicssc COM014000 bisacsh UYA thema Bridging the Gap Between AI and Reality [electronic resource] : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / edited by Bernhard Steffen. 1st ed. 2024. Cham : Springer Nature Switzerland : Imprint: Springer, 2024. XIII, 456 p. 132 illus., 114 illus. in color. online resource. text txt rdacontent computer c rdamedia online resource cr rdacarrier text file PDF rda Lecture Notes in Computer Science, 1611-3349 ; 14380 Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming. 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. . Computer science. 58552 Software engineering. 33953 Computers, Special purpose. Computer systems. Artificial intelligence. 58441 Computer Science Logic and Foundations of Programming. 68173 Software Engineering. 33953 Special Purpose and Application-Based Systems. Computer System Implementation. Artificial Intelligence. 58441 Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558 https://orcid.org/0000-0001-9619-1558 edt http://id.loc.gov/vocabulary/relators/edt 68174 SpringerLink (Online service) Springer Nature eBook Printed edition: 9783031460012 Printed edition: 9783031460036 Lecture Notes in Computer Science, 1611-3349 ; 14380 https://doi.org/10.1007/978-3-031-46002-9 ZDB-2-SCS ZDB-2-SXCS ZDB-2-LNC 56798 56798