Model Checking and Artificial Intelligence  4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers /  [electronic resource] : 
edited by Stefan Edelkamp, Alessio Lomuscio. 
 - Berlin, Heidelberg :  Springer-Verlag Berlin Heidelberg,  2007. 
 - vi, 184 p. :  ill., digital ;  24 cm. 
 - Lecture Notes in Computer Science,  4428  0302-9743 ; .
<br/><br/><label>ISBN: </label>9783540741282 (electronic bk.) 9783540741275 (paper) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer systems--Verification--Congresses.<br/>Computer software--Verification--Congresses.<br/>Artificial intelligence--Congresses.<br/>Computer Science.<br/>Artificial Intelligence (incl. Robotics)<br/>Logics and Meanings of Programs.<br/>Mathematical Logic and Formal Languages.<br/>Programming Techniques.<br/>Software Engineering.