Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers / edited by Bernhard Steffen.

Format:

Book

Contributor:

Steffen, Bernhard, Editor.

Series:

Lecture Notes in Computer Science, 1611-3349 ; 14129

Language:

English

Subjects (All):

Computer 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.

Local Subjects:

Computer Science Logic and Foundations of Programming.

Software Engineering.

Special Purpose and Application-Based Systems.

Computer System Implementation.

Artificial Intelligence.

Physical Description:

1 online resource (XI, 472 p. 89 illus., 69 illus. in color.)

Edition:

1st ed. 2025.

Place of Publication:

Cham : Springer Nature Switzerland : Imprint: Springer, 2025.

Summary:

This open access book constitutes revised selected papers from 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. .

Contents:

Digital Humanities and Cultural Heritage in AI and IT-enabled Environments

Common Language for Accessibility, Interoperability, and Reusability in Historical Demography

Coding historical causes of death data with Large Language Models

Teaching the specialized language of Mathematics with a data-driven approach: what data do we use?

Interoperating Civil Registration of Death and Census Data: Old Age and Marriage as Categories of Analysis

From Data Science to Modular Workflows - Changing Perspectives from Data to Platform: DBDIrl 1864-1922 Case Study

Mapping Madness: HGIS and the granular analysis of Irish patient records

Digitised historical sources and non-digital humanists: an interdisciplinary challenge?

Using Passive Sensing to Identify Depression

The GraphBRAIN Framework for Knowledge Graph Management and its Applications to Cultural Heritage

Challenges for AI in Healthcare Systems

Towards a Multi-dimensional Health Data Analysis Framework

Future Opportunities for Systematic AI Support in Healthcare

CRISP-PCCP – A Development Methodology Supporting FDA Approval for Machine Learning Enabled Medical Devices

Model Driven Development for AI-based Healthcare Systems: A Review

Balancing Transparency and Risk: An Overview of the Security and Privacy Risks of Open-Source Machine Learning Models

AI-related risk and uncertainty

Leveraging Actionable Explanations to Improve People’s Reactions to AI-based Decisions

From Explanation Correctness to Explanation Goodness: Only Provably Correct Explanations can Save the World

Thinking Outside the Box? Regulatory Sandboxes as a Tool for AI Regulation

AI and Democratic Equality: How Surveillance Capitalism and Computational Propaganda Threaten Democracy

Safeguarding AI-Based Software Development and Verification using Witnesses (Position Paper)

End-to-End AI Generated Runtime Verification from Natural Language Specification

AI-Assisted Programming with Test-based Refinement

Safer Than Perception: Increasing Resilience of Automated Vehicles Against Misperception

Towards ML-Integration and Training Patterns for AI-Enabled Systems

The Reachability Problem for Neural-Network Control Systems.

ISBN:

9783031737411

3031737415