![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Model Checking and Artificial Intelligence (MoChArt)
6th MoChArt 2010: Atlanta, GA, USA
- Ron van der Meyden
, Jan-Georg Smaus:
Model Checking and Artificial Intelligence - 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers. Lecture Notes in Computer Science 6572, Springer 2011, ISBN 978-3-642-20673-3 [contents]
5th MoChArt 2008: Patras, Greece
- Doron A. Peled, Michael J. Wooldridge:
Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5348, Springer 2009, ISBN 978-3-642-00430-8 [contents]
4th MoChArt 2006: Riva del Garda, Italy
- Stefan Edelkamp, Alessio Lomuscio:
Model Checking and Artificial Intelligence, 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4428, Springer 2007, ISBN 978-3-540-74127-5 [contents]
3rd MoChArt@CONCUR/SPIN 2005: San Francisco, CA, USA
- Charles Pecheur, Brian Williams:
Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(2), Elsevier 2006 [contents]
2nd MoChArt@IJCAI 2003: Acapulco, Mexico
1st MoChArt@ECAI 2002: Lyon, France
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.