𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Computational Logic in Multi-Agent Systems Volume 3487 || Verifying Protocol Conformance for Logic-Based Communicating Agents

✍ Scribed by Leite, João; Torroni, Paolo


Book ID
121866665
Publisher
Springer Berlin Heidelberg
Year
2005
Weight
252 KB
Category
Article
ISBN
3540318577

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


[Lecture Notes in Computer Science] Mult
✍ Garijo, Francisco J.; Boman, Magnus 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 736 KB

In the ten years since the first MAAMAW was held in 1989, at King's College, Cambridge, the field of Multi-Agent Systems (MAS) has flourished. It has attracted an increasing amount of theoretical and applied research. During this decade, important efforts have been made to establish the scientific a