This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997.
The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making.
This volume provides a selection of strictly refereed papers first presented during a workshop held within the context of the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in 1997.
The 15 revised full papers presented together with an introductory survey by the volume editors were carefully reviewed for inclusion in the book. The book is devoted to the interdisciplinary study of formal models of agency and intelligent agents from the points of view of artificial intelligence, software engineering, applied logic, databases, and organization theory. Among the topics addressed are various types of agents and multi-agent systems, cooperation, communication, specification, verification, deontic logic, diagnosis, and decision making.
Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers
260
Formal Models of Agents: ESPRIT Project ModelAge Final Report Selected Papers
260Paperback(1999)
Product Details
| ISBN-13: | 9783540670278 |
|---|---|
| Publisher: | Springer Berlin Heidelberg |
| Publication date: | 02/29/2000 |
| Series: | Lecture Notes in Computer Science , #1760 |
| Edition description: | 1999 |
| Pages: | 260 |
| Product dimensions: | 6.10(w) x 9.25(h) x 0.36(d) |