๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Verification Framework for Agent Communication

โœ Scribed by Rogier M. Van Eijk; Frank S. De Boer; Wiebe Van Der Hoek; John-Jules Ch. Meyer

Book ID
110411750
Publisher
Springer US
Year
2003
Tongue
English
Weight
558 KB
Volume
6
Category
Article
ISSN
1387-2532

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

A verification framework for agent progr
A verification framework for agent programming with declarative goals
โœ F.S. de Boer; K.V. Hindriks; W. van der Hoek; J.-J.Ch. Meyer ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 286 KB

A long and lasting problem in agent research has been to close the gap between agent logics and agent programming frameworks. The main reason for this problem of establishing a link between agent logics and agent programming frameworks is identified and explained by the fact that agent programming f

Agent communication transport network fo
Agent communication transport network for agent communication services
โœ Ryozo Kishimoto ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 204 KB ๐Ÿ‘ 1 views

Computer networks of high speed, large scale, and high performance are needed for providing multimedia communication services in wide area networks. This paper proposes agent communication transport networks in order to provide not only new agent communication services but also to support existing I