Model checking and artificial intelligence [electronic resource] : 4th workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006 : revised selected and invited papers / Stefan Edelkamp, Alessio Lomuscio (eds.)
This book constitutes the thoroughly refereed post-proceedings of the 4th Workshop on Model Checking and Artificial Intelligence, MoChArt IV, held in Riva Del Garda, Italy in August 2006, as a satellite event of ECAI0 2006, the 17th biannual European conference on Artificial Intelligence. The 8 revi...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Other title: | MoChArt IV. MoChArt 4. MoChArt four. |
| Format: | Electronic Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
©2007.
|
| Series: | Lecture notes in computer science ;
4428. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Internet
Full Text (via Springer)Online
| Call Number: |
QA76.76.V47 M63 2007eb
|
|---|---|
| QA76.76.V47 M63 2007eb | Available |