Model Checking and Artificial Intelligence :4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science

Model Checking and Artificial Intelligence

Model Checking and Artificial Intelligence :4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers - Lecture Notes in Computer Science

(Author) (Author)
paperback
Published: 9 August, 2007
Standard worldwide delivery by Tue, June 30 - Thu, July 9
Order within 0
Condition: NEW
$61.78
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Stefan Edelkamp

View All Books by Stefan Edelkamp
KI 2011: Advances in Artificial Intelligence
KI 2011: Advances in Artificial Intelligence
Stefan Edelkamp
$71.27
New
Add to basket
KI 2021: Advances in Artificial Intelligence
KI 2021: Advances in Artificial Intelligence
Stefan Edelkamp
$85.58 $87.11
New
Add to basket
Heuristic Search
Heuristic Search
Stefan Edelkamp
$77.38 $88.45
New
Add to basket
Computer Games
Computer Games
Stefan Edelkamp
$61.76
New
Add to basket
Computer Games
Computer Games
Stefan Edelkamp
$69.66
New
Add to basket
Model Checking Software
Model Checking Software
Stefan Edelkamp
$70.86
New
Add to basket

Description

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.
See more

More Details

Type Book
ISBN13 9783540741275
ISBN10 3540741275
Number Of Pages 185
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 2007 ed.
See More +