Formal Models of Agents: ESPRIT Project ModelAge Final Workshop Selected Papers
John-Jules Ch. Meyer, Pierre-Yves Schobbens (auth.), John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.)
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.
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.
年:
1999
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
260
ISBN 10:
3540670270
ISBN 13:
9783540670278
系列:
Lecture Notes in Computer Science 1760
文件:
PDF, 6.30 MB
IPFS:
,
english, 1999
因版权方投诉,本书无法下载