✦ LIBER ✦

[Lecture Notes in Computer Science] Intelligent Agents Volume 890 || Compositional formal specification of multi-agent systems

✍ Scribed by Wooldridge, Michael J.; Jennings, Nicholas R.

Book ID: 120209875
Publisher: Springer Berlin Heidelberg
Year: 1995
Weight: 1023 KB
Category: Article
ISBN: 3540491295
DOI: 10.1007/3-540-58855-8_6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Agents III Agent Theories, Architectures, and Languages Volume 1193 || Formal specification of beliefs in multi-agent systems

✍ Müller, Jörg P.; Wooldridge, Michael J.; Jennings, Nicholas R. 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 733 KB

[Lecture Notes in Computer Science] Argu

[Lecture Notes in Computer Science] Argumentation in Multi-Agent Systems Volume 3366 || Formal Dialectic Specification

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

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computational Science – ICCS 2005 Volume 3516 || Formal Specification of Holonic Multi-Agent Systems Framework

✍ Sunderam, Vaidy S.; van Albada, Geert Dick; Sloot, Peter M. A.; Dongarra, Jack 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 238 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Agents and Multi-Agent Systems Volume 2413 || Principles for Dynamic Multi-agent Organizations

✍ Kuwabara, Kazuhiro; Lee, Jaeho 📂 Article 📅 2002 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 224 KB

Autonomous agents and multi-agent systems are computational systems in which several (semi-)autonomous agents interact with each other or work together to perform some set of tasks or satisfy some set of goals. These systems may involve computational agents that are homogeneous or heterogeneous, the

[Lecture Notes in Computer Science] Engi

[Lecture Notes in Computer Science] Engineering Societies in the Agents World Volume 1972 || Formal Specification and Prototyping of Multi-agent Systems

✍ Omicini, Andrea; Tolksdorf, Robert; Zambonelli, Franco 📂 Article 📅 2000 🏛 Springer Berlin Heidelberg ⚖ 192 KB

[Lecture Notes in Computer Science] Inte

[Lecture Notes in Computer Science] Intelligent Agents and Multi-Agent Systems Volume 3371 || Specifying DIMA Multi-agents Models Using Maude

✍ Barley, Michael Wayne; Kasabov, Nik 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 296 KB