Stock image for illustration purposes only - book cover, edition or condition may vary.
Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
. Ed(S): Meyden, Ron Van Der; Smaus, Jan-Georg
€ 62.50
FREE Delivery in Ireland
Description for Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
paperback. Presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, that was held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. This book contains an extended abstract of the invited talk held at the workshop. Editor(s): Meyden, Ron Van Der; Smaus, Jan-Georg. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 142 pages, biography. BIC Classification: UMB; UMX; UMZ; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 13. Weight in Grams: 231.
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of ... Read more
This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop. The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop. The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of ... Read more
Product Details
Format
Paperback
Publication date
2011
Publisher
Springer Germany
Number of pages
142
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
131
Place of Publication
Berlin, Germany
ISBN
9783642206733
SKU
V9783642206733
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Model Checking and Artificial Intelligence: 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers