skip to content
Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers Preview this item
ClosePreview this item
Checking...

Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers

Author: Michael Fisher; Fariba Sadri; Michael Thielscher
Publisher: Berlin ; New York : Springer, ©2009.
Series: Lecture notes in computer science, 5405.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Summary:

Multi-Agent Systems are communities of problem-solving entities that can exhibit varying degrees of intelligence.

Rating:

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

Subjects
More like this

Find a copy online

Find a copy in the library

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

Details

Genre/Form: Kongress
Conference papers and proceedings
Dresden (2008)
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Michael Fisher; Fariba Sadri; Michael Thielscher
ISBN: 9783642027338 3642027334
OCLC Number: 427321558
Description: viii, 172 pages : illustrations ; 24 cm.
Contents: Invited Papers.- Easy Yet Hard: Model Checking Strategies of Agents.- Programming Multi-agent Systems.- Regular Papers.- Verifying Agents' Conformance with Multiparty Protocols.- Run-Time Semantics of a Language for Programming Social Processes.- Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic.- Bounded-Resource Reasoning as (Strong or Classical) Planning.- A Formal Framework for User Centric Control of Probabilistic Multi-agent Cyber-Physical Systems.- Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall.- Contracts Violation: Justification via Argumentation.- Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant.
Series Title: Lecture notes in computer science, 5405.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Responsibility: Michael Fisher, Fariba Sadri, Michael Thielscher (eds.).

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/427321558> # Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "427321558" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793196810#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   schema:about <http://dewey.info/class/004na/> ;
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/793196810#Topic/computer_logic> ; # Computer logic
   schema:about <http://id.worldcat.org/fast/975909> ; # Intelligent agents (Computer software)
   schema:about <http://experiment.worldcat.org/entity/work/data/793196810#Topic/computational_logic> ; # Computational logic
   schema:about <http://experiment.worldcat.org/entity/work/data/793196810#Topic/mehragentensystem> ; # Mehragentensystem
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/118750568> ; # Fariba Sadri
   schema:contributor <http://viaf.org/viaf/114413214> ; # Michael Fisher
   schema:contributor <http://viaf.org/viaf/2796168> ; # Michael Thielscher
   schema:copyrightYear "2009" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/793196810#Meeting/clima_conference_9th_2008_dresden_germany> ; # CLIMA (Conference) (9th : 2008 : Dresden, Germany)
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/793196810> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Dresden (2008)"@en ;
   schema:genre "Kongress"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793196810#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793196810#Series/lecture_notes_in_artifical_intelligence> ; # Lecture notes in artifical intelligence
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science,
   schema:name "Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers"@en ;
   schema:productID "427321558" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/427321558#PublicationEvent/berlin_new_york_springer_2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/793196810#Agent/springer> ; # Springer
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017701437&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://d-nb.info/994783728/04> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=017701437&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9783642027338> ;
   umbel:isLike <http://d-nb.info/994783728> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/427321558> ;
    .


Related Entities

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

<http://experiment.worldcat.org/entity/work/data/793196810#Meeting/clima_conference_9th_2008_dresden_germany> # CLIMA (Conference) (9th : 2008 : Dresden, Germany)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/793196810#Place/dresden_germany> ; # Dresden, Germany)
   schema:name "CLIMA (Conference) (9th : 2008 : Dresden, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793196810#Place/dresden_germany> # Dresden, Germany)
    a schema:Place ;
   schema:name "Dresden, Germany)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793196810#Series/lecture_notes_in_artifical_intelligence> # Lecture notes in artifical intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/427321558> ; # Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers
   schema:name "Lecture notes in artifical intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/793196810#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/427321558> ; # Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/793196810#Topic/computational_logic> # Computational logic
    a schema:Intangible ;
   schema:name "Computational logic"@en ;
    .

<http://id.worldcat.org/fast/872265> # Computer logic
    a schema:Intangible ;
   schema:name "Computer logic"@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/114413214> # Michael Fisher
    a schema:Person ;
   schema:birthDate "1962" ;
   schema:familyName "Fisher" ;
   schema:givenName "Michael" ;
   schema:name "Michael Fisher" ;
    .

<http://viaf.org/viaf/118750568> # Fariba Sadri
    a schema:Person ;
   schema:birthDate "1956" ;
   schema:familyName "Sadri" ;
   schema:givenName "Fariba" ;
   schema:name "Fariba Sadri" ;
    .

<http://viaf.org/viaf/2796168> # Michael Thielscher
    a schema:Person ;
   schema:familyName "Thielscher" ;
   schema:givenName "Michael" ;
   schema:name "Michael Thielscher" ;
    .

<http://worldcat.org/isbn/9783642027338>
    a schema:ProductModel ;
   schema:isbn "3642027334" ;
   schema:isbn "9783642027338" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/427321558> ; # Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science," ;
    .

<http://www.worldcat.org/title/-/oclc/427321558>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/427321558> ; # Computational logic in multi-agent systems : 9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 : revised selected and invited papers
   schema:dateModified "2018-11-09" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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