.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Model Checking and Artificial Intelligence
Stefan Edelkamp
€ 68.19
FREE Delivery in Ireland
Description for Model Checking and Artificial Intelligence
Paperback. Constitutes the refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence. Series: Lecture Notes in Computer Science. Num Pages: 194 pages, biography. BIC Classification: UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 10. Weight in Grams: 288.
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.
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.
Product Details
Format
Paperback
Publication date
2007
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
194
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
185
Place of Publication
Berlin, Germany
ISBN
9783540741275
SKU
V9783540741275
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Model Checking and Artificial Intelligence