Bridging the Gap Between AI and Reality

Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

Thumbnail
Contributor(s)
Steffen, Bernhard (editor)
Language
English
Show full item record
Abstract
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.
URI
https://library.oapen.org/handle/20.500.12657/107646
Keywords
Open Access; artificial intelligence (AI); machine learning (ML); Natural Language Processing (NLP); industrial applications; deep learning (DL); AI systems; large language models; Verification; Model Checking; Dependable and Fault-Tolerant Systems and Networks; Models of Computation; Software Creation and Management; Probability and Statistics; Human-Computer Interaction (HCI); Collaborative and Social Computing
DOI
10.1007/978-3-032-01377-4
ISBN
9783032013774, 9783032013774, 9783032013767
Publisher
Springer Nature
Publisher website
https://www.springernature.com/gp/products/books
Publication date and place
Cham, 2026
Imprint
Springer
Series
Lecture Notes in Computer Science; Computer Science; Computer Science (R0), 16032
Classification
Mathematical theory of computation
Software Engineering
Expert systems / knowledge-based systems
Systems analysis and design
Artificial intelligence
Pages
282
Public remark
Funded by: AISola Community
Rights
http://creativecommons.org/licenses/by/4.0/