The Resource Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
Resource Information
The item Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 2 library branches.
Resource Information
The item Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 2 library branches.
- Summary
- 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 researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: - Using Theorem Proving to Verify Properties of Agent Programs - The Refinement of Multi-Agent Systems - Model Checking Agent Communication - Directions for Agent Model Checking - Model Checking Logics of Strategic Ability: Complexity - Correctness of Mult-Agent Programs: A Hybrid Approach - The Norm Implementation Problem in Normative Multi-Agent Systems - A Verification Logic for GOAL Agents - Using the Maude Term Rewriting Language for Agent Development with Formal Foundations - The Cognitive Agents Specification Language and Verification Environment - A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns - Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner
- Language
- eng
- Extent
- 1 online resource (xvii, 405 pages)
- Contents
-
- Using Theorem Proving to Verify Properties of Agent Programs
- The Refinement of Multi-Agent Systems
- Model Checking Agent Communication
- Directions for Agent Model Checking
- Model Checking Logics of Strategic Ability: Complexity
- Correctness of Multi-Agent Programs: A Hybrid Approach
- The Norm Implementation Problem in Normative Multi-Agent Systems
- A Verification Logic for Goal Agents
- Using the Maude Term Rewriting Language for Agent Development with Formal Foundations
- The Cognitive Agents Specification Language and Verification Environment
- A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems
- Assurance of Agent Systems: What Role Should Formal Verification Play?
- References
- Isbn
- 9781441969842
- Label
- Specification and verification of multi-agent systems
- Title
- Specification and verification of multi-agent systems
- Statement of responsibility
- Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
- Language
- eng
- Summary
- 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 researchers in the area, addressing logical formalisms and techniques, such as model checking, theorem proving, and axiomatisations for (semi) automatic verification of agent-based systems. Chapters include: - Using Theorem Proving to Verify Properties of Agent Programs - The Refinement of Multi-Agent Systems - Model Checking Agent Communication - Directions for Agent Model Checking - Model Checking Logics of Strategic Ability: Complexity - Correctness of Mult-Agent Programs: A Hybrid Approach - The Norm Implementation Problem in Normative Multi-Agent Systems - A Verification Logic for GOAL Agents - Using the Maude Term Rewriting Language for Agent Development with Formal Foundations - The Cognitive Agents Specification Language and Verification Environment - A Temporal Trace Language for Formal Modelling and Analysis of Agent Systemns - Assurance of Agent Systems: What Role Should Formal Verification Play? Specification and Verification of Multi-agent Systems is a comprehensive guide that makes a useful tool for researchers, practitioners and students, and serves as a reference work summarizing the state of the art in an accessible manner
- Cataloging source
- GW5XE
- Dewey number
- 006.3/3
- Illustrations
- illustrations
- Index
- no index present
- LC call number
- QA76.76.I58
- LC item number
- S64 2010
- Literary form
- non fiction
- Nature of contents
-
- dictionaries
- bibliography
- http://library.link/vocab/relatedWorkOrContributorName
-
- Dastani, Mehdi
- Hindriks, Koen V
- Meyer, John-Jules Ch
- http://library.link/vocab/subjectName
-
- Multiagent systems
- Computer software
- COMPUTERS
- Informatique
- Computer software
- Multiagent systems
- Label
- Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
- Bibliography note
- Includes bibliographical references (pages 385-405)
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Using Theorem Proving to Verify Properties of Agent Programs -- The Refinement of Multi-Agent Systems -- Model Checking Agent Communication -- Directions for Agent Model Checking -- Model Checking Logics of Strategic Ability: Complexity -- Correctness of Multi-Agent Programs: A Hybrid Approach -- The Norm Implementation Problem in Normative Multi-Agent Systems -- A Verification Logic for Goal Agents -- Using the Maude Term Rewriting Language for Agent Development with Formal Foundations -- The Cognitive Agents Specification Language and Verification Environment -- A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems -- Assurance of Agent Systems: What Role Should Formal Verification Play? -- References
- Control code
- 663096644
- Dimensions
- unknown
- Extent
- 1 online resource (xvii, 405 pages)
- Form of item
- online
- Isbn
- 9781441969842
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-1-4419-6984-2
- Other physical details
- illustrations
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-1-4419-6983-5
- Specific material designation
- remote
- System control number
- (OCoLC)663096644
- Label
- Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
- Bibliography note
- Includes bibliographical references (pages 385-405)
- Carrier category
- online resource
- Carrier category code
-
- cr
- Carrier MARC source
- rdacarrier
- Color
- multicolored
- Content category
- text
- Content type code
-
- txt
- Content type MARC source
- rdacontent
- Contents
- Using Theorem Proving to Verify Properties of Agent Programs -- The Refinement of Multi-Agent Systems -- Model Checking Agent Communication -- Directions for Agent Model Checking -- Model Checking Logics of Strategic Ability: Complexity -- Correctness of Multi-Agent Programs: A Hybrid Approach -- The Norm Implementation Problem in Normative Multi-Agent Systems -- A Verification Logic for Goal Agents -- Using the Maude Term Rewriting Language for Agent Development with Formal Foundations -- The Cognitive Agents Specification Language and Verification Environment -- A Temporal Trace Language for Formal Modelling and Analysis of Agent Systems -- Assurance of Agent Systems: What Role Should Formal Verification Play? -- References
- Control code
- 663096644
- Dimensions
- unknown
- Extent
- 1 online resource (xvii, 405 pages)
- Form of item
- online
- Isbn
- 9781441969842
- Media category
- computer
- Media MARC source
- rdamedia
- Media type code
-
- c
- Other control number
- 10.1007/978-1-4419-6984-2
- Other physical details
- illustrations
- http://library.link/vocab/ext/overdrive/overdriveId
- 978-1-4419-6983-5
- Specific material designation
- remote
- System control number
- (OCoLC)663096644
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Specification-and-verification-of-multi-agent/_dES0iiqbbY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Specification-and-verification-of-multi-agent/_dES0iiqbbY/">Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data - Experimental
Data Citation of the Item Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa fa-external-link-square fa-fw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Specification-and-verification-of-multi-agent/_dES0iiqbbY/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Specification-and-verification-of-multi-agent/_dES0iiqbbY/">Specification and verification of multi-agent systems, Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer, editors ; foreword by Wiebe van der Hoek</a></span> - <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>