Model checking and artificial intelligence : 4th Workshop, MoChArt IV : Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers - Edelkamp, Stefan, 1969-; Lomuscio, Alessio (Lecture notes in computer science. Lecture notes in artificial intelligence, 2007)