Cover Image

Understanding Agent Systems /

Show other versions (3)

This book helps to organise the diverse landscape of agent-based systems by applying formal methods to provide a defining and encompassing agent framework. The Z specification language is used to provide an accessible and unified formal account of agent systems and inter-agent relationships. In part...

Full description

Bibliographic Details
Main Author:	D'Inverno, Mark
Corporate Author:	SpringerLink (Online service)
Other Authors:	Luck, Mike
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Edition:	Second Edition, Revised and Extended.
Series:	Springer series on agent technology.
Subjects:	Computer science. Computer Communication Networks. Software engineering. Logic design. Artificial intelligence. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

PRIMA 2022: Principles and Practice of Multi-Agent Systems : 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings /
Published: (2023)

Multiagent Systems for Manufacturing Control : A Design Methodology /
by: Bussmann, Stefan
Published: (2004)

Frontiers of Combining Systems : 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings /
Published: (2023)

Automated Reasoning : 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II /
Published: (2024)

Artificial Intelligence Applications and Innovations. AIAI 2022 IFIP WG 12.5 International Workshops : MHDW 2022, 5G-PINE 2022, AIBMG 2022, ML@HC 2022, and AIBEI 2022, Hersonissos, Crete, Greece, June 17-20, 2022, Proceedings /
Published: (2022)

Distributed Constraint Satisfaction : Foundations of Cooperation in Multi-agent Systems /
by: Yokoo, Makoto
Published: (2001)

Artificial General Intelligence : 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings /
Published: (2023)

Engineering Intelligent Hybrid Multi-Agent Systems /
by: Khosla, Rajiv
Published: (1997)

Robust Argumentation Machines : First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings /
Published: (2024)

Immunity-Based Systems : A Design Perspective /
by: Ishida, Yoshiteru
Published: (2004)

Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings /
Published: (2023)

Contributions to a Computer-Based Theory of Strategies /
by: Findler, N. V.
Published: (1990)

Active Inference : Third International Workshop, IWAI 2022, Grenoble, France, September 19, 2022, Revised Selected Papers /
Published: (2023)

Computational Collective Intelligence : 11th International Conference, ICCCI 2019, Hendaye, France, September 4-6, 2019, Proceedings, Part I /
Published: (2019)

Understanding agent systems /
by: D'Inverno, Mark
Published: (2004)

Understanding agent systems /
by: D'Inverno, Mark
Published: (2001)

Artificial Intelligence Applications and Innovations : 18th IFIP WG 12.5 International Conference, AIAI 2022, Hersonissos, Crete, Greece, June 17-20, 2022, Proceedings, Part I /
Published: (2022)

Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2021, Virtual Event, September 13-17, 2021, Proceedings, Part I /
Published: (2021)

Computer Supported Collaborative Learning /
by: O'Malley, Claire
Published: (1995)

Transforming Organisations Through Groupware : Lotus Notes in Action /
by: Lloyd, Peter
Published: (1996)

Cooperative Knowledge Processing : the Key Technology for Intelligent Organizations /
by: Kirn, Stefan
Published: (1997)

Automata and Languages : Theory and Applications /
by: Meduna, Alexander
Published: (2000)

AI 2019: Advances in Artificial Intelligence : 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2-5, 2019, Proceedings /
Published: (2019)

Speech and Computer : 21st International Conference, SPECOM 2019, Istanbul, Turkey, August 20-25, 2019, Proceedings /
Published: (2019)

Machine Learning and Knowledge Discovery in Databases: Research Track : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part II /
Published: (2023)

Machine Learning and Knowledge Discovery in Databases: Research Track : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part IV /
Published: (2023)

Machine Learning and Knowledge Discovery in Databases: Research Track : European Conference, ECML PKDD 2023, Turin, Italy, September 18-22, 2023, Proceedings, Part III /
Published: (2023)

Recent Advances in Speech Understanding and Dialog Systems /
by: Niemann, H.
Published: (1988)

Machine Learning, Optimization, and Data Science : 7th International Conference, LOD 2021, Grasmere, UK, October 4-8, 2021, Revised Selected Papers, Part II /
Published: (2022)

Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published: (2023)

Automated Reasoning with Analytic Tableaux and Related Methods : 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings /
Published: (2023)

Intelligent Robotics and Applications : 16th International Conference, ICIRA 2023, Hangzhou, China, July 5-7, 2023, Proceedings, Part VII /
Published: (2023)

Artificial Intelligence in Medicine : 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26-29, 2019, Proceedings /
Published: (2019)

Machine Learning and Principles and Practice of Knowledge Discovery in Databases : International Workshops of ECML PKDD 2022, Grenoble, France, September 19-23, 2022, Proceedings, Part II /
Published: (2023)

Cognitive Systems and Information Processing : 7th International Conference, ICCSIP 2022, Fuzhou, China, December 17-18, 2022, Revised Selected Papers /
Published: (2023)

Applications and Innovations in Intelligent Systems VIII : Proceedings of ES2000, the Twentieth SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2000 /
by: Macintosh, Ann
Published: (2001)

Applications and Innovations in Intelligent Systems IX : Proceedings of ES2001, the Twenty-first SGES International Conference on Knowledge Based Systems and Applied Artificial Intelligence, Cambridge, December 2001 /
by: Macintosh, Ann
Published: (2002)

AI 2022: Advances in Artificial Intelligence : 35th Australasian Joint Conference, AI 2022, Perth, WA, Australia, December 5-8, 2022, Proceedings /
Published: (2022)

Prolog: The Next 50 Years /
Published: (2023)

Advancements in Interdisciplinary Research : First International Conference, AIR 2022, Prayagraj, India, May 6-7, 2022, Revised Selected Papers /
Published: (2022)