000 04235nam a22007215i 4500
001 978-3-032-07132-3
003 DE-He213
005 20260304124502.0
007 cr nn 008mamaa
008 251010s2026 sz | s |||| 0|eng d
020 _a9783032071323
_9978-3-032-07132-3
024 7 _a10.1007/978-3-032-07132-3
_2doi
050 4 _aQA76.758
072 7 _aUMZ
_2bicssc
072 7 _aCOM051230
_2bisacsh
072 7 _aUMZ
_2thema
082 0 4 _a005.1
_223
245 1 0 _aBridging the Gap Between AI and Reality
_h[electronic resource] :
_bThird International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1–5, 2025, Selected Papers /
_cedited by Bernhard Steffen.
250 _a1st ed. 2026.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2026.
300 _aXXII, 187 p. 33 illus., 29 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
341 0 _bPDF/UA-1
_2onix
341 0 _bTable of contents navigation
_2onix
341 0 _bSingle logical reading order
_2onix
341 0 _bShort alternative textual descriptions
_2onix
341 0 _bUse of color is not sole means of conveying information
_2onix
341 0 _bUse of high contrast between text and background color
_2onix
341 0 _bNext / Previous structural navigation
_2onix
341 0 _bAll non-decorative content supports reading without sight
_2onix
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v16220
506 0 _aOpen Access
520 _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. .
532 8 _aAccessibility summary: This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. Please note that a more accessible version of this eBook is available as ePub.
532 8 _aNo reading system accessibility options actively disabled
532 8 _aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0 _aSoftware engineering.
650 0 _aComputers, Special purpose.
650 0 _aComputer systems.
650 0 _aArtificial intelligence.
650 1 4 _aSoftware Engineering.
650 2 4 _aSpecial Purpose and Application-Based Systems.
650 2 4 _aComputer System Implementation.
650 2 4 _aArtificial Intelligence.
700 1 _aSteffen, Bernhard.
_eeditor.
_0(orcid)0000-0001-9619-1558
_1https://orcid.org/0000-0001-9619-1558
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_93893
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783032071316
776 0 8 _iPrinted edition:
_z9783032071330
830 0 _aLecture Notes in Computer Science,
_x1611-3349 ;
_v16220
856 4 0 _uhttps://doi.org/10.1007/978-3-032-07132-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-SXPS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
999 _c579866
_d579866