skip to content
Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers Preview this item
ClosePreview this item
Checking...

Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers

Author: Fariba Sadri; Ken Satoh
Publisher: Berlin ; New York : Springer, 2008.
Series: Lecture notes in computer science, 5056.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Document : Conference publication   Computer File : EnglishView all editions and formats
Publication:Springer eBooks
Summary:
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming. The 14 revised full technical papers and 1 system description paper presented together with 1 invited paper were carefully  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Kongress
Conference papers and proceedings
Porto (Portugal, 2007)
Congresses
Material Type: Conference publication, Document, Internet resource
Document Type: Book, Computer File, Internet Resource
All Authors / Contributors: Fariba Sadri; Ken Satoh
ISBN: 9783540888321 3540888322
OCLC Number: 268784012
Language Note: English.
Notes: International conference proceedings.
Description: x, 298 pages : illustrations ; 24 cm.
Contents: Invited Paper --
Plan-Coordination Mechanisms and the Price of Autonomy --
Regular Papers --
Actions with Failures in Interval Temporal Logic --
A Logic for Reasoning about Rational Agents --
Formal Modelling of Emotions in BDI Agents --
'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations --
Proof Theory for Distributed Knowledge --
EVOLP: Tranformation-Based Semantics --
Language Constructs for Multi-agent Programming --
Tropos --
A Heuristic Approach to P2P Negotiation --
Towards Context Sensitive Defeasible Rules --
Fuzzy Argumentation for Trust --
Assumption-Based Argumentation for Selection and Composition of Services --
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems --
Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs --
System Description Paper --
EVOLP: An Implementation.
Series Title: Lecture notes in computer science, 5056.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: CLIMA VIII
CLIMA 8
CLIMA eight
Responsibility: Fariba Sadri, Ken Satoh (eds.).

Abstract:

Computational logic provides a well-de?ned, general, and rigorous framework for studying syntax, semantics, and procedures for various capabilities and fu- tionalities of individual agents, as well  Read more...

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/268784012> # Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "268784012" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793196810#Place/berlin> ; # Berlin
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/872265> ; # Computer logic
   schema:about <http://experiment.worldcat.org/entity/work/data/793196810#Topic/mehragentensystem> ; # Mehragentensystem
   schema:about <http://experiment.worldcat.org/entity/work/data/793196810#Topic/computational_logic> ; # Computational logic
   schema:about <http://id.worldcat.org/fast/975909> ; # Intelligent agents (Computer software)
   schema:about <http://experiment.worldcat.org/entity/work/data/793196810#Topic/computer_logic> ; # Computer logic
   schema:about <http://dewey.info/class/006.3/e22/> ;
   schema:alternateName "CLIMA 8" ;
   schema:alternateName "CLIMA eight" ;
   schema:alternateName "CLIMA VIII" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/118750568> ; # Fariba Sadri
   schema:contributor <http://viaf.org/viaf/40582922> ; # Ken Satoh
   schema:creator <http://experiment.worldcat.org/entity/work/data/793196810#Meeting/clima_conference_8th_2007_porto_portugal> ; # CLIMA (Conference) (8th : 2007 : Porto, Portugal)
   schema:datePublished "2008" ;
   schema:description "This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA VIII, held in Porto, Portugal, in September 2007 - co-located with ICLP 2008, the International Conference on Logic Programming. The 14 revised full technical papers and 1 system description paper presented together with 1 invited paper were carefully selected from 33 submissions and went through at least two rounds of reviewing and improvement. The regular papers address topics such as interdependencies and co-ordination of task-based planning in multi-agent systems, interval temporal logic, game theoretic concepts for reasoning about rational agents, proof theory for multi-agent epistemic logic, transformational semantics for evolving logic programs (EVOLP), programming languages based on BDI models, agent oriented early requirements engineering framework, heuristic algorithms for agent negotiation, as well as argumentation."@en ;
   schema:description "Invited Paper -- Plan-Coordination Mechanisms and the Price of Autonomy -- Regular Papers -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal Modelling of Emotions in BDI Agents -- 'What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations -- Proof Theory for Distributed Knowledge -- EVOLP: Tranformation-Based Semantics -- Language Constructs for Multi-agent Programming -- Tropos -- A Heuristic Approach to P2P Negotiation -- Towards Context Sensitive Defeasible Rules -- Fuzzy Argumentation for Trust -- Assumption-Based Argumentation for Selection and Composition of Services -- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems -- Analytic Cut-Free Tableaux for Regular Modal Logics of Agent Beliefs -- System Description Paper -- EVOLP: An Implementation."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/793196810> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Kongress"@en ;
   schema:genre "Conference publication"@en ;
   schema:genre "Porto (Portugal, 2007)"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in artificial intelligence, subseries of lecture notes in computer science,
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793196810#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:name "Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers"@en ;
   schema:productID "268784012" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/268784012#PublicationEvent/berlin_new_york_springer_2008> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/793196810#Agent/springer> ; # Springer
   schema:url <http://www.springerlink.com/content/978-3-540-88832-1> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=016805963&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://swbplus.bsz-bw.de/bsz287600718cov.htm> ;
   schema:url <http://link.springer.de/link/service/series/5056/index.htm> ;
   schema:url <http://ezproxy.rice.edu/login?url=http://link.springer.de/link/service/series/5056/index.htm> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=016805963&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:url <http://d-nb.info/990735974/04> ;
   schema:url <http://digitool.hbz-nrw.de:1801/webclient/DeliveryManager?pid=3493088&custom_att_2=simple_viewer> ;
   schema:workExample <http://worldcat.org/isbn/9783540888321> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-540-88833-8> ;
   umbel:isLike <http://d-nb.info/990735974> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/268784012> ;
    .


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_8th_2007_porto_portugal> # CLIMA (Conference) (8th : 2007 : Porto, Portugal)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/793196810#Place/porto_portugal> ; # Porto, Portugal)
   schema:name "CLIMA (Conference) (8th : 2007 : Porto, Portugal)" ;
    .

<http://experiment.worldcat.org/entity/work/data/793196810#Place/porto_portugal> # Porto, Portugal)
    a schema:Place ;
   schema:name "Porto, Portugal)" ;
    .

<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/268784012> ; # Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : 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://link.springer.de/link/service/series/5056/index.htm>
   rdfs:comment "Search for individual volumes on contents page" ;
    .

<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/40582922> # Ken Satoh
    a schema:Person ;
   schema:birthDate "1959" ;
   schema:familyName "Satoh" ;
   schema:givenName "Ken" ;
   schema:name "Ken Satoh" ;
    .

<http://worldcat.org/isbn/9783540888321>
    a schema:ProductModel ;
   schema:isbn "3540888322" ;
   schema:isbn "9783540888321" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in artificial intelligence, subseries of lecture notes in computer science,
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/268784012> ; # Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in artificial intelligence, subseries of lecture notes in computer science," ;
    .

<http://www.springerlink.com/content/978-3-540-88832-1>
   rdfs:comment "Electronic resource available to Mason students, faculty, staff, and onsite patrons." ;
    .

<http://www.worldcat.org/title/-/oclc/268784012>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/268784012> ; # Computational logic in multi-agent systems : 8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers
   schema:dateModified "2017-12-24" ;
   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.