04265nam 22006615 450 991103457230332120251001130535.03-032-01377-110.1007/978-3-032-01377-4(CKB)41544527300041(DE-He213)978-3-032-01377-4(MiAaPQ)EBC32334635(Au-PeEL)EBL32334635(EXLCZ)994154452730004120251001d2026 u| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierBridging the Gap Between AI and Reality Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers /edited by Bernhard Steffen1st ed. 2026.Cham :Springer Nature Switzerland :Imprint: Springer,2026.1 online resource (X, 282 p. 81 illus., 49 illus. in color.) Lecture Notes in Computer Science,1611-3349 ;160323-032-01376-3 Correct-ish by Design: From Upfront Verification to Continuous Monitoring of LLM Generated Code -- Context Engineering for AI-Assisted Programming for Domain-Specific Languages -- The Impact of Generative Artificial Intelligence Tools in Project-Based Learning -- Health Care - Approaches Using Formal Methods and AI -- Towards Person-Owned and Controlled Personal Health Records: Past, Present, and Future Research at eMedLab, TalTech -- LC/NC Pipeline for Training and Operationalising Segmentation Models in a Data Scarce Domain: De-arraying Tissue MicroArrays -- Quantum Machine Learning in Precision Medicine and Drug Discovery - A Game Changer for Tailored Treatments? -- What Computing Professionals Should Know About Ethics: Perspectives of Philosophers -- Disentangling AI Alignment: A Structured Taxonomy Beyond Safety and Ethics -- Epistemic Deference to AI -- Responsibility Attribution for AI-mediated Damages with Mechanistic Interpretability -- Development and Maintenance of Trust in Human-Drone-Interaction: Preliminary empirical findings in a warehouse setting -- Feedback from AI Team Members: Implications on Self-Image and Trust -- Using Statistical Model Checker for Schedulability Analysis of Real-Time Systems under Uncertainty -- A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees.This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches using formal methods and AI; responsible and trusted AI: an interdisciplinary perspective; statistical model checking; and verification for neur-symbolic artificial intelligence. .Lecture Notes in Computer Science,1611-3349 ;16032Computer scienceSoftware engineeringComputers, Special purposeComputer systemsArtificial intelligenceComputer Science Logic and Foundations of ProgrammingSoftware EngineeringSpecial Purpose and Application-Based SystemsComputer System ImplementationArtificial IntelligenceComputer science.Software engineering.Computers, Special purpose.Computer systems.Artificial intelligence.Computer Science Logic and Foundations of Programming.Software Engineering.Special Purpose and Application-Based Systems.Computer System Implementation.Artificial Intelligence.004.0151Steffen Bernhardedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9911034572303321Bridging the Gap Between AI and Reality4212873UNINA