Häftad, Engelska, 2007
Model Checking and Artificial Intelligence
4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers
Av Stefan Edelkamp, Alessio Lomuscio
Del i serien Lecture Notes in Computer Science
562 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
The refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence are presented in this volume. Eight full workshop papers are presented along with three post-proceedings papers. Papers are organized into topical sections covering planning and model checking, heuristics for real-time model checking, verification of multi-agent systems, and logics for model checking and artificial intelligence.
Produktinformation
- Utgivningsdatum: 2007-08-09
- Mått: 155 x 235 x undefined mm
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 185
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540741275
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.