1 option
Bridging the Gap Between AI and Reality : First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Proceedings / edited by Bernhard Steffen.
SpringerLink Books Lecture Notes In Computer Science (LNCS) (1997-2024) Available online
View online- Format:
- Book
- Author/Creator:
- Steffen, Bernhard.
- Series:
- Lecture Notes in Computer Science, 1611-3349 ; 14380
- 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 (454 pages)
- Edition:
- 1st ed. 2024.
- Place of Publication:
- Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
- 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. .
- Contents:
- Verification meets Learning and Statistics
- Nature of AI-Based Systems
- Safety Verificatio of DNNs
- AI Assisted Programming.
- Other Format:
- Print version: Steffen, Bernhard Bridging the Gap Between AI and Reality
- ISBN:
- 9783031460029
- OCLC:
- 1414523309
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.