Specification and Verification of Multi-agent Systems

✍ Scribed by N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer (eds.)

Publisher: Springer US
Year: 2010
Tongue: English
Leaves: 416
Edition: 1
Category: Library

⬇ Acquire This Volume

No coin nor oath required. For personal study only.

✦ Subjects

Software Engineering/Programming and Operating Systems; Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Software Engineering; Computing Methodologies

📜 SIMILAR VOLUMES

Specification and Verification of Multi-

📁 Specification and Verification of Multi-agent Systems

✍ N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindr 📂 Library 📅 2010 🏛 Springer US 🌐 English

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international lead

Specification and Verification of Multi-

📁 Specification and Verification of Multi-agent Systems

✍ N. Alechina, M. Dastani, F. Khan, B. Logan (auth.), Mehdi Dastani, Koen V. Hindr 📂 Library 📅 2010 🏛 Springer US 🌐 English

Specification and Verification of Multi-

📁 Specification and Verification of Multi-agent Systems

✍ Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer 📂 Library 📅 2010 🏛 Springer 🌐 English

Specification and Verification of Multi-agent Systems presents a coherent treatment of the area of formal specification and verification of agent-based systems with a special focus on verification of multi-agent programs. This edited volume includes contributions from international leading researche

Adaptive Agents and Multi-Agent Systems:

📁 Adaptive Agents and Multi-Agent Systems: Adaptation and Multi-Agent Learning

✍ Enric Plaza, Santiago Ontañón (auth.), Eduardo Alonso, Daniel Kudenko, Dimitar K 📂 Library 📅 2003 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Adaptive Agents and Multi-Agent Systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, computer science, software engineering, and developmental biology, as well as cognitive and social science.This book surveys the stat

Adaptive Agents and Multi-Agent Systems

📁 Adaptive Agents and Multi-Agent Systems II: Adaptation and Multi-Agent Learning

✍ Jürgen Schmidhuber (auth.), Daniel Kudenko, Dimitar Kazakov, Eduardo Alonso (eds 📂 Library 📅 2005 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Adaptive agents and multi-agent systems is an emerging and exciting interdisciplinary area of research and development involving artificial intelligence, software engineering, and developmental biology, as well as cognitive and social science.This book presents 17 revised and carefully

Advances on Practical Applications of Ag

📁 Advances on Practical Applications of Agents and Multi-Agent Systems: 10th International Conference on Practical Applications of Agents and Multi-Agent Systems

✍ Toru Ishida, Yohei Murakami, Donghui Lin (auth.), Yves Demazeau, Jörg P. Müller, 📂 Library 📅 2012 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Research on Agents and Multi-Agent Systems has matured during the last decade and many effective applications of this technology are now deployed. PAAMS provides an international forum to present and discuss the latest scientific developments and their effective applications, to assess the imp