Bridging the Gap Between AI and Reality (Paperback)
Language: English
Published by Springer Nature Switzerland AG, Cham, 2025
- Softcover
- New
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.Grand Eagle Retail
AbeBooks seller since October 12, 2005
Condition: New
US$ 50.34
Quantity: 1 available
Add to basketItem description from seller
Paperback. This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in November 2025. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence. This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in November 2025. The papers included in this book focus on the following topics: AI assisted programming; Shipping may be from multiple locations in the US or from the UK, depending on stock availability. …
Seller Inventory # 9783032071316
- Title
- Bridging the Gap Between AI and Reality (Paperback)
- Author
- Bernhard Steffen
- Publisher
- Springer Nature Switzerland AG, Cham
- Publication year
- 2025
- Condition
- new
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3032071313
- ISBN 13
- 9783032071316
This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in November 2025.
The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous systems; responsible and trusted AI; safe autonomous vehicles; statistical model checking; verification and learning for assured autonomy; verification for neuro-symbolic artificial intelligence.
"Synopsis" may belong to another edition of this title.
Grand Eagle Retail
Bensenville, IL, U.S.A.
AbeBooks seller since October 12, 2005
Shipping rates within U.S.A.
| Item | 6 to 14 business days | 6 to 16 business days |
|---|---|---|
| First item | US$ 0.00 | US$ 0.00 |
Payment methods
Seller's business information
APOLLO ONLINE CORP.
605 Geddes Street
Wilmington, DE U.S.A. 19805
Terms of sale
We guarantee the condition of every book as it¿s described on the Abebooks web sites. If you¿ve changed
your mind about a book that you¿ve ordered, please use the Ask bookseller a question link to contact us
and we¿ll respond within 2 business days.
Books ship from California and Michigan.
Shipping terms
Orders usually ship within 2 business days. All books within the US ship free of charge. Delivery is 4-14 business days anywhere in the United States.
Books ship from California and Michigan.
If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.