Model checking and artificial intelligence
Subtitle: 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers
By: Stefan Edelkamp, Alessio Lomuscio (eds.).
Contributors: Edelkamp, Stefan.; Lomuscio, Alessio.
Series: Lecture notes in computer science -- 4428. -- Lecture notes in artificial intelligence; Lecture notes in computer science -- 4428.; Lecture notes in computer science
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 184
ISBN-13: 9783540741275
Subjects: Computer systems -- Verification -- Congresses.; Computer software -- Verification -- Congresses.; Artificial intelligence -- Congresses.
Genres: Congresses.
Other titles: MoChArt IV.; MoChArt 4.; MoChArt four.
Notes: Includes bibliographical references and author index.