skip to content
Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers Preview this item
ClosePreview this item

Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers

Author: Matteo Baldoni
Publisher: Berlin [u.a.] Springer 2009
Series: Lecture notes in computer science; Lecture notes in artificial intelligence
Edition/Format:   Computer file : EnglishView all editions and formats
Summary:

This volume constitutes the revised selected papers of the 6th International Workshop, DALT 2008, held as satellite workshop of AAMAS 2008, the 7th International Joint Conference on Autonomous Agents  Read more...

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

Material Type: Internet resource
Document Type: Computer File, Internet Resource
All Authors / Contributors: Matteo Baldoni
ISBN: 3540939199 9783540939191 9783540939207 3540939202
OCLC Number: 845473381
Notes: Literaturangaben
Description: Online-Ressource (x, 250 S.)
Contents: Invited Papers.- Specifying and Enforcing Norms in Artificial Institutions.- Social Norm Emergence in Virtual Agent Societies.- A Distributed Normative Infrastructure for Situated Multi-agent Organisations.- Contributed Papers.- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications.- Combining Multiple Knowledge Representation Technologies into Agent Programming Languages.- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions.- JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies.- Leveraging New Plans in AgentSpeak(PL).- Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading.- Inductive Negotiation in Answer Set Programming.- Mental State Abduction of BDI-Based Agents.- Iterated Belief Revision in the Face of Uncertain Communication.- Abstracting and Verifying Strategy-Proofness for Auction Mechanisms.- Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming.- Strategic Agent Communication: An Argumentation-Driven Approach.
Series Title: Lecture notes in computer science; Lecture notes in artificial intelligence
Responsibility: Matteo Baldoni ... (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/845473381> # Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
    a bgn:ComputerFile, schema:CreativeWork ;
   library:oclcnum "845473381" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/906168037#Place/berlin_u_a> ; # Berlin u.a.
   schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
   schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/deklarative_programmiersprache> ; # Deklarative Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Thing/online_publikation> ; # Online-Publikation
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/formale_methode> ; # Formale Methode
   schema:about <http://id.worldcat.org/fast/1002045> ; # Logic design
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://id.loc.gov/authorities/subjects/sh87007398> ; # Software engineering
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/inferenz> ; # Inferenz
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/computer_communication_networks> ; # Computer Communication Networks
   schema:about <http://id.loc.gov/authorities/subjects/sh89003285> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/formale_spezifikationstechnik> ; # Formale Spezifikationstechnik
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/computer_science> ; # Computer Science
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/autonomer_agent> ; # Autonomer Agent
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/wissensrevision> ; # Wissensrevision
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/verifikation> ; # Verifikation
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Thing/kongress_2008> ; # Kongress 2008
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/mehragentensystem> ; # Mehragentensystem
   schema:about <http://id.loc.gov/authorities/subjects/sh85008180> ; # Artificial intelligence
   schema:about <http://experiment.worldcat.org/entity/work/data/906168037#Topic/logische_programmierung> ; # Logische Programmierung
   schema:about <http://id.loc.gov/authorities/subjects/sh85078117> ; # Logic design
   schema:about <http://dewey.info/class/006.3/> ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/906168037#Meeting/dalt_6_2008_05_12_estoril> ; # DALT (6 2008.05.12 Estoril)
   schema:contributor <http://experiment.worldcat.org/entity/work/data/906168037#Meeting/dalt_6_2008_estoril> ; # DALT 6 2008 Estoril
   schema:contributor <http://viaf.org/viaf/85584494> ; # Matteo Baldoni
   schema:contributor <http://experiment.worldcat.org/entity/work/data/906168037#Meeting/workshop_on_declarative_agent_languages_and_technologies_6_2008_05_12_estoril> ; # Workshop on Declarative Agent Languages and Technologies (6 2008.05.12 Estoril)
   schema:datePublished "2009" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/906168037> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906168037#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> ; # Lecture notes in computer science Lecture notes in artificial intelligence
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/906168037#Series/> ; #
   schema:name "Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers" ;
   schema:productID "845473381" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/845473381#PublicationEvent/berlin_u_a_springer2009> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/906168037#Agent/springer> ; # Springer
   schema:url <http://www.gbv.de/dms/bowker/toc/9783540939191.pdf> ;
   schema:url <http://site.ebrary.com/lib/alltitles/docDetail.action?docID=10272013> ;
   schema:url <http://dx.doi.org/10.1007/978-3-540-93920-7> ;
   schema:workExample <http://worldcat.org/isbn/9783540939191> ;
   schema:workExample <http://worldcat.org/isbn/9783540939207> ;
   schema:workExample <http://dx.doi.org/10.1007/978-3-540-93920-7> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/845473381> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/906168037#Meeting/workshop_on_declarative_agent_languages_and_technologies_6_2008_05_12_estoril> # Workshop on Declarative Agent Languages and Technologies (6 2008.05.12 Estoril)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/906168037#Place/estoril> ; # Estoril)
   schema:name "Workshop on Declarative Agent Languages and Technologies (6 2008.05.12 Estoril)" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168037#Place/estoril> # Estoril)
    a schema:Place ;
   schema:name "Estoril)" ;
   schema:name "Estoril" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168037#Series/> #
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845473381> ; # Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
   schema:name "" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168037#Series/lecture_notes_in_computer_science_lecture_notes_in_artificial_intelligence> # Lecture notes in computer science Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/845473381> ; # Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
   schema:name "Lecture notes in computer science Lecture notes in artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168037#Thing/online_publikation> # Online-Publikation
    a schema:Thing ;
   schema:name "Online-Publikation" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168037#Topic/computer_communication_networks> # Computer Communication Networks
    a schema:Intangible ;
   schema:name "Computer Communication Networks" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168037#Topic/deklarative_programmiersprache> # Deklarative Programmiersprache
    a schema:Intangible ;
   schema:name "Deklarative Programmiersprache" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168037#Topic/formale_spezifikationstechnik> # Formale Spezifikationstechnik
    a schema:Intangible ;
   schema:name "Formale Spezifikationstechnik" ;
    .

<http://experiment.worldcat.org/entity/work/data/906168037#Topic/logische_programmierung> # Logische Programmierung
    a schema:Intangible ;
   schema:name "Logische Programmierung" ;
    .

<http://id.loc.gov/authorities/subjects/sh85008180> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://id.loc.gov/authorities/subjects/sh85078117> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.loc.gov/authorities/subjects/sh87007398> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.loc.gov/authorities/subjects/sh89003285> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://id.worldcat.org/fast/1002045> # Logic design
    a schema:Intangible ;
   schema:name "Logic design" ;
    .

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
   schema:name "Software engineering" ;
    .

<http://id.worldcat.org/fast/817247> # Artificial intelligence
    a schema:Intangible ;
   schema:name "Artificial intelligence" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science" ;
    .

<http://viaf.org/viaf/85584494> # Matteo Baldoni
    a schema:Person ;
   schema:familyName "Baldoni" ;
   schema:givenName "Matteo" ;
   schema:name "Matteo Baldoni" ;
    .

<http://worldcat.org/isbn/9783540939191>
    a schema:ProductModel ;
   schema:isbn "3540939199" ;
   schema:isbn "9783540939191" ;
    .

<http://worldcat.org/isbn/9783540939207>
    a schema:ProductModel ;
   schema:isbn "3540939202" ;
   schema:isbn "9783540939207" ;
    .

<http://www.worldcat.org/title/-/oclc/845473381>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/845473381> ; # Declarative agent languages and technologies VI : 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 ; revised selected and invited papers
   schema:dateModified "2018-03-11" ;
   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.