Explore
Bridging the Gap Between AI and Reality
0 Ungluers have
Faved this Work
Login to Fave
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.
This book is included in DOAB.
Why read this book? Have your say.
You must be logged in to comment.
Rights Information
Are you the author or publisher of this work? If so, you can claim it as yours by registering as an Unglue.it rights holder.Downloads
This work has been downloaded 0 times via unglue.it ebook links.
- 0 - pdf (CC BY) at OAPEN Library.
Keywords
- AI systems
- artificial intelligence (AI)
- collaborative and social computing
- Deep Learning (DL)
- Dependable and Fault-Tolerant Systems and Networks
- Human-Computer Interaction (HCI)
- Industrial applications
- large language models
- machine learning (ML)
- Model Checking
- models of computation
- Natural Language Processing (NLP)
- open access
- probability and statistics
- software creation and management
- thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
- thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
- Verification
Links
DOI: 10.1007/978-3-032-01377-4Editions