ENGLISH

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

By John-Jules Ch. Meyer , Pierre-Yves Schobbens (auth.) , Pierre-Yves Schobbens (eds.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1999
ISBN
3540670270, 9783540670278
DOI
10.1007/3-540-46581-2
Open Library ID
OL15476840M
Language
english
Format
PDF
Filesize
4 MB (3739165 bytes)
Series
Lecture Notes in Computer Science 1760 : Lecture Notes in Artificial Intelligence
Edition
1
Pages
260\259
Library
Kolxo3
Time added
2011-01-08 23:22:23
Artificial Intelligence (incl. Robotics); Software

Description

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.

Similar books