Ebook: Formal Models of Agents: ESPRIT Project ModelAge Final Workshop Selected Papers

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.

---

Contains a number of revised papers that were selected from papers presented at the last ModelAge workshop held in Certosa di Pertiganano, (Italy,) in 1997, organized by the institute of Psychology of the Italian CNR (IP-CNR), Division of Artificial Intelligence, Cognitive Modeling and Interaction. Softcover.