✦ 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
DOI: 10.1007/11533092_12

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logics in Artificial Intelligence Volume 2424 || A Logic Programming Language for Multi-agent Systems

✍ Flesca, Sergio; Greco, Sergio; Ianni, Giovambattista; Leone, Nicola 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg ⚖ 567 KB

[Lecture Notes in Computer Science] Mult

[Lecture Notes in Computer Science] Multi-Agent System Engineering Volume 1647 || Protocol Engineering for Multi-agent Interaction

✍ 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

[Lecture Notes in Computer Science] Agen

[Lecture Notes in Computer Science] Agent Computing and Multi-Agent Systems Volume 5044 || A Distributed Computational Model for Mobile Agents

✍ Ghose, Aditya; Governatori, Guido; Sadananda, Ramakoti 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg ⚖ 294 KB

[Lecture Notes in Computer Science] Agen

[Lecture Notes in Computer Science] Agent Computing and Multi-Agent Systems Volume 4088 || Modeling Negotiation in Combinatorial Auctions Based on Multi-agent

✍ Shi, Zhong-Zhi; Sadananda, Ramakoti 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 169 KB

[Lecture Notes in Computer Science] Mult

[Lecture Notes in Computer Science] Multi-Agent Systems Volume 7541 || QueryPOMDP: POMDP-Based Communication in Multiagent Systems

✍ Cossentino, Massimo; Kaisers, Michael; Tuyls, Karl; Weiss, Gerhard 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 313 KB

[Lecture Notes in Computer Science] Argu

[Lecture Notes in Computer Science] Argumentation in Multi-Agent Systems Volume 3366 || Layered Strategies and Protocols for Argumentation-Based Agent Interaction

✍ Rahwan, Iyad; Moraïtis, Pavlos; Reed, Chris 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 135 KB