Bridging the Gap Between AI and Reality

First International Conference, AISoLA 2023, Crete, Greece, October 23¿28, 2023, Proceedings
1. Auflage 2024
ISBN: 978-3-031-46001-2
Verlag: Springer Nature Switzerland

Buch, Englisch, Band 14380, 456 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 709 g

Reihe: Lecture Notes in Computer Science

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. 

Zielgruppe

Research

Autoren/Hrsg.

Steffen, Bernhard

Fachgebiete

• Mathematik | Informatik EDV | Informatik Angewandte Informatik
• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
• Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering

Inhaltsverzeichnis

Verification meets Learning and Statistics.- Nature of AI-Based Systems.- Safety Verificatio of DNNs.- AI Assisted Programming.