More than 1,900 Springer Protocols eBooks at just $9.99 each! Get yours today>>

Lecture Notes in Artificial Intelligence

Model Checking and Artificial Intelligence

6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

Editors: van der Meyden, Ron, Smaus, Jan-Georg (Eds.)

  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results
see more benefits

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-20674-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-20673-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book presents revised versions of selected papers from the 6th Workshop on Model Checking and Artificial Intelligence, MoChArt 2010, held in Atlanta, GA, USA in July 2010, as well as papers contributed subsequent to the workshop.
The 7 papers presented were carefully reviewed and selected for inclusion in this book. In addition, the book also contains an extended abstract of the invited talk held at the workshop.
The topics covered by these papers are general search algorithms, application of AI techniques to automated program verification, multiagent systems and epistemic logic, abstraction, epistemic model checking, and theory of model checking.

Table of contents (8 chapters)

  • Planning with Incomplete Information

    Geffner, Hector

    Pages 1-11

  • External Memory Breadth-First Search with Delayed Duplicate Detection on the GPU

    Edelkamp, Stefan (et al.)

    Pages 12-31

  • Program Model Checking via Action Planning

    Edelkamp, Stefan (et al.)

    Pages 32-51

  • Automatic Data-Abstraction in Model Checking Multi-Agent Systems

    Lomuscio, Alessio (et al.)

    Pages 52-68

  • Automated Verification of Resource Requirements in Multi-Agent Systems Using Abstraction

    Alechina, Natasha (et al.)

    Pages 69-84

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-642-20674-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $89.99
price for USA
  • ISBN 978-3-642-20673-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Model Checking and Artificial Intelligence
Book Subtitle
6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers
Editors
  • Ron van der Meyden
  • Jan-Georg Smaus
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
6572
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
The Editor(s) (if applicable) and The Author(s) 2018
eBook ISBN
978-3-642-20674-0
DOI
10.1007/978-3-642-20674-0
Softcover ISBN
978-3-642-20673-3
Edition Number
1
Number of Pages
XI, 131
Topics