EAN: 9783642004308

MODEL CHECKING AND ARTIFICIAL INTELLIGENCE KART...

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th Workshop on
Model Checking and Artificial Intelligence  MOCHART 2008  held in Patras  Greece  in July 2008
as a satellite event of ECAI 2008  the 18th biannual European conference on Artificial
Intelligence. The 9 revised full workshop papers presented together with 2 invited lectures
have gone through two rounds of reviewing and improvement and were carefully selected for
inclusion in the book. The workshop covers all ideas  research  experiments and tools that
relate to both MC and AI fields.

Aktuelle Preise zur EAN 9783642004308

Produktinformationen zur 9783642004308