Save today: Get 40% off titles in Popular Science!

Lecture Notes in Artificial Intelligence

Model Checking and Artificial Intelligence

4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Editors: Edelkamp, Stefan, Lomuscio, Alessio (Eds.)

Free Preview
  • Presents the refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence
  • Features eight full workshop papers and three post-proceedings papers
  • Covers planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence
see more benefits

Buy this book

eBook 58,84 €
price for Spain (gross)
  • ISBN 978-3-540-74128-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)

Table of contents (11 chapters)

Table of contents (11 chapters)

Buy this book

eBook 58,84 €
price for Spain (gross)
  • ISBN 978-3-540-74128-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 72,79 €
price for Spain (gross)
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Model Checking and Artificial Intelligence
Book Subtitle
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Editors
  • Stefan Edelkamp
  • Alessio Lomuscio
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
4428
Copyright
2007
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-74128-2
DOI
10.1007/978-3-540-74128-2
Softcover ISBN
978-3-540-74127-5
Edition Number
1
Number of Pages
IX, 185
Topics