skip to content
Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers Preview this item
ClosePreview this item
Checking...

Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers

Author: Matteo Baldoni; Ulle Endriss
Publisher: Berlin : Springer, 2006.
Series: Lecture notes in computer science, 4327.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Constitutes the refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Japan in May 2006.

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: Conference papers and proceedings
Congresses
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Matteo Baldoni; Ulle Endriss
ISBN: 9783540689591 3540689591
OCLC Number: 77548404
Notes: International conference proceedings.
Description: viii, 256 pages : illustrations ; 24 cm.
Contents: Invited Talk.- Producing Compliant Interactions: Conformance, Coverage, and Interoperability.- Invited Papers.- Towards Theory Translation.- The Complexity of Model Checking Concurrent Programs Against CTLK Specifications.- Dynamic Model Checking for Multi-agent Systems.- Contributed Papers.- Automating Belief Revision for AgentSpeak.- A Foundational Ontology of Organizations and Roles.- When Agents Communicate Hypotheses in Critical Situations.- A Fibred Tableau Calculus for Modal Logics of Agents.- Programming Declarative Goals Using Plan Patterns.- JADL - An Agent Description Language for Smart Agents.- Agreeing on Defeasible Commitments.- A Dynamic Logic Programming Based System for Agents with Declarative Goals.- A Collaborative Framework to Realize Virtual Enterprises Using 3APL.- A Modeling Framework for Generic Agent Interaction Protocols.- Plan Generation and Plan Execution in Agent Programming.- A Functional Program for Agents, Actions, and Deontic Specifications.
Series Title: Lecture notes in computer science, 4327.; Lecture notes in computer science., Lecture notes in artificial intelligence.
Other Titles: DALT 2006
Responsibility: Matteo Baldoni, Ulle Endriss (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/77548404> # Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "77548404" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/916227389#Place/berlin> ; # Berlin
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://dewey.info/class/055.131/e22/> ;
   schema:about <http://id.loc.gov/authorities/subjects/sh93000071> ; # Declarative programming
   schema:about <http://id.worldcat.org/fast/889108> ; # Declarative programming
   schema:about <http://id.worldcat.org/fast/975909> ; # Intelligent agents (Computer software)
   schema:alternateName "DALT 2006" ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/916227389#Person/endriss_ulle> ; # Ulle Endriss
   schema:contributor <http://viaf.org/viaf/85584494> ; # Matteo Baldoni
   schema:creator <http://experiment.worldcat.org/entity/work/data/916227389#Meeting/international_workshop_on_declarative_agent_languages_and_technologies_4th_2006_hakodate_shi_japan> ; # International Workshop on Declarative Agent Languages and Technologies (4th : 2006 : Hakodate-shi, Japan)
   schema:datePublished "2006" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/916227389> ;
   schema:genre "Conference papers and proceedings"@en ;
   schema:genre "Conference publication"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/916227389#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science.
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science, Lecture notes in artificial intelligence
   schema:name "Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers"@en ;
   schema:productID "77548404" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/77548404#PublicationEvent/berlin_springer_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/916227389#Agent/springer> ; # Springer
   schema:url <http://dx.doi.org/10.1007/11961536> ;
   schema:url <http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4327> ;
   schema:workExample <http://worldcat.org/isbn/9783540689591> ;
   umbel:isLike <http://d-nb.info/982277350> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/77548404> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/916227389#Meeting/international_workshop_on_declarative_agent_languages_and_technologies_4th_2006_hakodate_shi_japan> # International Workshop on Declarative Agent Languages and Technologies (4th : 2006 : Hakodate-shi, Japan)
    a bgn:Meeting, schema:Event ;
   schema:location <http://experiment.worldcat.org/entity/work/data/916227389#Place/hakodate_shi_japan> ; # Hakodate-shi, Japan)
   schema:name "International Workshop on Declarative Agent Languages and Technologies (4th : 2006 : Hakodate-shi, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/916227389#Person/endriss_ulle> # Ulle Endriss
    a schema:Person ;
   schema:familyName "Endriss" ;
   schema:givenName "Ulle" ;
   schema:name "Ulle Endriss" ;
    .

<http://experiment.worldcat.org/entity/work/data/916227389#Place/hakodate_shi_japan> # Hakodate-shi, Japan)
    a schema:Place ;
   schema:name "Hakodate-shi, Japan)" ;
    .

<http://experiment.worldcat.org/entity/work/data/916227389#Series/lecture_notes_in_computer_science> # Lecture notes in computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/77548404> ; # Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers
   schema:name "Lecture notes in computer science." ;
   schema:name "Lecture notes in computer science ;" ;
    .

<http://id.loc.gov/authorities/subjects/sh93000071> # Declarative programming
    a schema:Intangible ;
   schema:name "Declarative programming"@en ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://id.worldcat.org/fast/889108> # Declarative programming
    a schema:Intangible ;
   schema:name "Declarative programming"@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/85584494> # Matteo Baldoni
    a schema:Person ;
   schema:birthDate "1968" ;
   schema:familyName "Baldoni" ;
   schema:givenName "Matteo" ;
   schema:name "Matteo Baldoni" ;
    .

<http://worldcat.org/isbn/9783540689591>
    a schema:ProductModel ;
   schema:isbn "3540689591" ;
   schema:isbn "9783540689591" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science, Lecture notes in artificial intelligence
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/77548404> ; # Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science, Lecture notes in artificial intelligence" ;
    .

<http://www.worldcat.org/title/-/oclc/77548404>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/77548404> ; # Declarative agent languages and technologies IV : 4th international workshop, DALT 2006, Hakodate, Japan, May 8, 2006 ; selected, revised and invited papers
   schema:dateModified "2016-05-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.