02845nam a22005415i 4500001001800000003000900018005001700027007001500044008004100059020003700100024003500137050001700172072001600189072002300205072001500228245019600243250001800439264006900457300006800526336002600594337002600620338003600646347002400682490005900706505013500765520057800900650002901478650003301507650003201540650002201572650003601594650006601630650003301696650005101729650003601780650003601816700015401852710003402006773002602040776003602066776003602102830005902138856004602197912001402243912001502257912001402272999001702286978-3-031-46002-9DE-He21320251030110852.0cr nn 008mamaa231213s2024    sz |    s    |||| 0|eng d  a97830314600299978-3-031-46002-97 a10.1007/978-3-031-46002-92doi 4aQA75.5-76.95 7aUYA2bicssc 7aCOM0140002bisacsh 7aUYA2thema10aBridging the Gap Between AI and Realityh[electronic resource] :bFirst International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings /cedited by Bernhard Steffen.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aXIII, 456 p. 132 illus., 114 illus. in color.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aLecture Notes in Computer Science,x1611-3349 ;v143800 aVerification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming.  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. . 0aComputer science.958552 0aSoftware engineering.933953 0aComputers, Special purpose. 0aComputer systems. 0aArtificial intelligence.95844114aComputer Science Logic and Foundations of Programming.96817324aSoftware Engineering.93395324aSpecial Purpose and Application-Based Systems.24aComputer System Implementation.24aArtificial Intelligence.9584411 aSteffen, Bernhard.eeditor.0(orcid)0000-0001-9619-15581https://orcid.org/0000-0001-9619-15584edt4http://id.loc.gov/vocabulary/relators/edt9681742 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303146001208iPrinted edition:z9783031460036 0aLecture Notes in Computer Science,x1611-3349 ;v1438040uhttps://doi.org/10.1007/978-3-031-46002-9  aZDB-2-SCS  aZDB-2-SXCS  aZDB-2-LNC  c56798d56798