LEADER 03116nam  22006735  450 
001 9910770279103321
005 20240909110452.0
010   $a9783031460029$b(electronic bk.)
010   $z9783031460012
024 7 $a10.1007/978-3-031-46002-9
035   $a(MiAaPQ)EBC31018118
035   $a(Au-PeEL)EBL31018118
035   $a(DE-He213)978-3-031-46002-9
035   $a(CKB)29364120000041
035   $a(OCoLC)1414523309
035   $a(EXLCZ)9929364120000041
100   $a20231213d2024      u|         0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aBridging the Gap Between AI and Reality $eFirst International Conference, AISoLA 2023, Crete, Greece, October 23?28, 2023, Proceedings /$fedited by Bernhard Steffen
205   $a1st ed. 2024.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024.
215   $a1 online resource (454 pages)
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14380
311 08$aPrint version: Steffen, Bernhard Bridging the Gap Between AI and Reality Cham : Springer,c2024 9783031460012 
327   $aVerification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming.
330   $aThis 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. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v14380
606   $aComputer science
606   $aSoftware engineering
606   $aComputers, Special purpose
606   $aComputer systems
606   $aArtificial intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615  0$aArtificial intelligence.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aArtificial Intelligence.
676   $a004.0151
700   $aSteffen$b Bernhard$0878620
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
912   $a9910770279103321
996   $aBridging the Gap Between AI and Reality$93660809
997   $aUNINA