Limit search to available items
Book Cover
E-book
Author AISoLA (Conference) (1st : 2023 : Crete, Greece)

Title Bridging the gap between AI and reality : first international conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, proceedings / Bernhard Steffen, editor
Published Cham : Springer, 2024

Copies

Description 1 online resource
Series Lecture notes in computer science ; 14380
Lecture notes in computer science ; 14380.
Contents Verification meets Learning and Statistics -- Nature of AI-Based Systems -- Safety Verificatio of DNNs -- AI Assisted Programming
Summary This 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
Notes Includes author index
Online resource; title from PDF title page (SpringerLink, viewed December 20, 2023)
Subject Artificial intelligence -- Congresses
Artificial intelligence -- Moral and ethical aspects -- Congresses
Machine learning -- Congresses
Artificial intelligence.
Artificial intelligence -- Moral and ethical aspects.
Machine learning.
Genre/Form Conference papers and proceedings.
Form Electronic book
Author Steffen, Bernhard.
ISBN 9783031460029
3031460022
Other Titles AISoLA 2023