Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers (Paperback, Edition.)
Loot Price: R1,533
Discovery Miles 15 330
|
|
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers (Paperback, Edition.)
Series: Lecture Notes in Artificial Intelligence, 6572
Expected to ship within 10 - 15 working days
|
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 model
checking.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.