Model Checking and Artificial Intelligence : 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008, Revised Selected and Invited Papers /

Lignende værker

• Model Checking and Artificial Intelligence : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers /
  af: Ron Meyden, Jan-Georg Smaus
  Udgivet: (2011, c2011)
• Model Checking and Artificial Intelligence : 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /
  af: Stefan Edelkamp, Alessio Lomuscio
  Udgivet: (2007, c2007)
• Verification, Model Checking, and Abstract Interpretation : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings /
  af: Francesco Logozzo, Doron A. Peled, Lenore D. Zuck
  Udgivet: (2008, c2008)
• Artificial Intelligence: Theories, Models and Applications : 5th Hellenic Conference on AI, SETN 2008, Syros, Greece, October 2-4, 2008, Proceedings /
  af: John Darzentas, George A. Vouros, Spyros Vosinakis, Argyris Arnellos
  Udgivet: (2008, c2008)
• Modeling Decisions for Artificial Intelligence : 5th International Conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008, Proceedings /
  af: Vicenç Torra, Yasuo Narukawa
  Udgivet: (2008, c2008)