LEADER 02767nam  22006015  450 
001 9911034572403321
005 20251010131524.0
010   $a3-032-07132-1
024 7 $a10.1007/978-3-032-07132-3
035   $a(CKB)41603959900041
035   $a(DE-He213)978-3-032-07132-3
035   $a(MiAaPQ)EBC32373578
035   $a(Au-PeEL)EBL32373578
035   $a(EXLCZ)9941603959900041
100   $a20251010d2026      u|         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aBridging the Gap Between AI and Reality $eThird International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1?5, 2025, Selected Papers /$fedited by Bernhard Steffen
205   $a1st ed. 2026.
210  1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2026.
215   $a1 online resource (XXII, 187 p. 33 illus., 29 illus. in color.) 
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v16220
311 08$a3-032-07131-3 
330   $aThis open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in November 2025. 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. .
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v16220
606   $aSoftware engineering
606   $aComputers, Special purpose
606   $aComputer systems
606   $aArtificial intelligence
606   $aSoftware Engineering
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer System Implementation
606   $aArtificial Intelligence
615  0$aSoftware engineering.
615  0$aComputers, Special purpose.
615  0$aComputer systems.
615  0$aArtificial intelligence.
615 14$aSoftware Engineering.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer System Implementation.
615 24$aArtificial Intelligence.
676   $a005.1
702   $aSteffen$b Bernhard$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9911034572403321
996   $aBridging the Gap Between AI and Reality$94212873
997   $aUNINA