+- Forum Rockoldies (https://rockoldies.net/forum)
+-- Forum: E BOOKS - AUDIOBOOKS (https://rockoldies.net/forum/forumdisplay.php?fid=9)
+--- Forum: novels, non-fiction and newspapers english (https://rockoldies.net/forum/forumdisplay.php?fid=11)
+---- Forum: Literature (https://rockoldies.net/forum/forumdisplay.php?fid=31)
+---- Thema: Stefan Edelkamp, Alessio Lomuscio - Model Checking and Artificial Intelligence (/showthread.php?tid=88942)
Stefan Edelkamp, Alessio Lomuscio - Model Checking and Artificial Intelligence - Panter - 21.10.2024
![[Bild: fbc2a3a4be955f0759f04d4ff930ebdb.jpg]](https://i124.fastpic.org/big/2024/0927/db/fbc2a3a4be955f0759f04d4ff930ebdb.jpg)
Stefan Edelkamp and Alessio Lomuscio - LNAI 4428 - Model Checking and Artificial Intelligence
English | 2007 | Springer | ISBN: 9783540741275 (ISBN10: 3540741275) | 194 pages | PDF | 3 MB
Model Checking and Artificial Intelligence: 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.
2a8a80f42704b08af8f18ee44267561c
Download from RapidGator