skip to content
Agent technology from a formal perspective Preview this item
ClosePreview this item
Checking...

Agent technology from a formal perspective

Author: Chris Rouff
Publisher: London : Springer, ©2006.
Series: NASA monographs in systems and software engineering.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:

Includes examples of how others have applied formal methods to agent-based systems, and formal method tools and techniques that can be applied. This book provides a view of the key issues related to  Read more...

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Chris Rouff
ISBN: 1852339470 9781852339470
OCLC Number: 63516700
Description: xvi, 354 pages : illustrations ; 25 cm.
Contents: What Is an Agent? And What Is an Agent Community?.- to Formal Methods.- Formal Methods and Agent-Based Systems.- A Process-Algebraic Agent Abstraction.- Dynamic Team Formation in Executable Agent-Based Systems.- Scenario-Based Engineering of Multi-Agent Systems.- Verification Within the KARO Agent Theory.- Assuring the Behavior of Adaptive Agents.- Agents in a Wild World.- Formal Methods at NASA Goddard Space Flight Center.- Formal Verification of Autonomy Models.
Series Title: NASA monographs in systems and software engineering.
Responsibility: Christopher A. Rouff [and others] (eds).
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/63516700> # Agent technology from a formal perspective
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "63516700" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://dbpedia.org/resource/London> ; # London
    schema:about <http://experiment.worldcat.org/entity/work/data/865019979#Topic/intelligent_agents_computer_software> ; # Intelligent agents (Computer software)
    schema:about <http://experiment.worldcat.org/entity/work/data/865019979#Topic/intelligent_agents_computer_software_design> ; # Intelligent agents (Computer software)--Design
    schema:about <http://id.worldcat.org/fast/975909> ; # Intelligent agents (Computer software)
    schema:about <http://dewey.info/class/006.3/e22/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/865019979#Topic/agents_intelligents_logiciels_conception> ; # Agents intelligents (Logiciels)--Conception
    schema:about <http://experiment.worldcat.org/entity/work/data/865019979#Topic/agents_intelligents_logiciels> ; # Agents intelligents (Logiciels)
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/51057388> ; # Chris Rouff
    schema:copyrightYear "2006" ;
    schema:datePublished "2006" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/865019979> ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/865019979#Series/nasa_monographs_in_systems_and_software_engineering> ; # NASA monographs in systems and software engineering.
    schema:name "Agent technology from a formal perspective"@en ;
    schema:productID "63516700" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/63516700#PublicationEvent/london_springer_2006> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/865019979#Agent/springer> ; # Springer
    schema:workExample <http://worldcat.org/isbn/9781852339470> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/63516700> ;
    .


Related Entities

<http://dbpedia.org/resource/London> # London
    a schema:Place ;
    schema:name "London" ;
    .

<http://experiment.worldcat.org/entity/work/data/865019979#Series/nasa_monographs_in_systems_and_software_engineering> # NASA monographs in systems and software engineering.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/63516700> ; # Agent technology from a formal perspective
    schema:name "NASA monographs in systems and software engineering." ;
    schema:name "NASA monographs in systems and software engineering" ;
    .

<http://experiment.worldcat.org/entity/work/data/865019979#Topic/agents_intelligents_logiciels> # Agents intelligents (Logiciels)
    a schema:Intangible ;
    schema:name "Agents intelligents (Logiciels)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/865019979#Topic/agents_intelligents_logiciels_conception> # Agents intelligents (Logiciels)--Conception
    a schema:Intangible ;
    schema:name "Agents intelligents (Logiciels)--Conception"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/865019979#Topic/intelligent_agents_computer_software> # Intelligent agents (Computer software)
    a schema:Intangible ;
    schema:name "Intelligent agents (Computer software)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/865019979#Topic/intelligent_agents_computer_software_design> # Intelligent agents (Computer software)--Design
    a schema:Intangible ;
    schema:hasPart <http://id.loc.gov/authorities/subjects/sh97000493> ;
    schema:name "Intelligent agents (Computer software)--Design"@en ;
    .

<http://id.worldcat.org/fast/975909> # Intelligent agents (Computer software)
    a schema:Intangible ;
    schema:name "Intelligent agents (Computer software)"@en ;
    .

<http://viaf.org/viaf/51057388> # Chris Rouff
    a schema:Person ;
    schema:birthDate "1960" ;
    schema:familyName "Rouff" ;
    schema:givenName "Chris" ;
    schema:name "Chris Rouff" ;
    .

<http://worldcat.org/isbn/9781852339470>
    a schema:ProductModel ;
    schema:isbn "1852339470" ;
    schema:isbn "9781852339470" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.