skip to content
Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers Preview this item
ClosePreview this item
Checking...

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers

Author: Matteo Baldoni; et al
Publisher: Berlin ; New York : Springer, ©2013.
Series: Lecture notes in artificial intelligence, subseries of lecture notes in computer science (En ligne), 7784.; LNCS sublibrary., SL 7,, Artificial intelligence (En ligne)
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Database:WorldCat
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: Congrès
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Matteo Baldoni; et al
ISBN: 9783642378904 3642378900
OCLC Number: 846788223
Notes: Titre de l'écran-titre (visionné le 7 mai 2013).
Description: 1 online resource (1 texte électronique).
Contents: Invited Papers.- Handling Change in Normative Specifications.- Latest Developments of WADE to Support User-Centric Business Processes.- Strong Planning in the Logics of Communication and Change.- Agent Deliberation via Forward and Backward Chaining in Linear Logic.- Contributed Papers.- Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason.- A Generalized Commitment Machine for 2CL Protocols and Its Implementation.- Solving Fuzzy Distributed CSPs: An Approach with Naming Games.- Commitment Protocol Generation.- Goal-Based Qualitative Preference Systems.- SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems.- Position Papers.- Some Thoughts about Commitment Protocols (Position Paper).- Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends (Position Paper).- Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell (Position Paper).
Series Title: Lecture notes in artificial intelligence, subseries of lecture notes in computer science (En ligne), 7784.; LNCS sublibrary., SL 7,, Artificial intelligence (En ligne)
Other Titles: Declarative agent languages and technologies 10
DALT 2012
Responsibility: Matteo Baldoni ... [et al.] (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/846788223> # Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "846788223" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1271440928#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/1002045> ; # Logic design
    schema:about <http://experiment.worldcat.org/entity/work/data/1271440928#Topic/langage_declaratif> ; # Langage déclaratif
    schema:about <http://experiment.worldcat.org/entity/work/data/1271440928#Topic/langages_declaratifs_informatique> ; # Langages déclaratifs (Informatique)
    schema:about <http://experiment.worldcat.org/entity/work/data/1271440928#Topic/agents_intelligents_logiciels> ; # Agents intelligents (Logiciels)
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://experiment.worldcat.org/entity/work/data/1271440928#Topic/agent_intelligent> ; # Agent intelligent
    schema:about <http://dewey.info/class/005.13/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1271440928#Topic/systeme_multi_agents> ; # Système multi-agents
    schema:about <http://experiment.worldcat.org/entity/work/data/1271440928#Topic/informatique_repartie> ; # Informatique répartie
    schema:about <http://id.worldcat.org/fast/817247> ; # Artificial intelligence
    schema:alternateName "DALT 2012" ;
    schema:alternateName "Declarative agent languages and technologies 10" ;
    schema:bookFormat schema:EBook ;
    schema:contributor <http://viaf.org/viaf/85584494> ; # Matteo Baldoni
    schema:copyrightYear "2013" ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/1271440928#Meeting/international_workshop_on_declarative_agent_languages_and_technologies_10e_2012_valence_espagne> ; # International Workshop on Declarative Agent Languages and Technologies (10e : 2012 : Valence, Espagne)
    schema:datePublished "2013" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1271440928> ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1271440928#Series/lecture_notes_in_artificial_intelligence_subseries_of_lecture_notes_in_computer_science_en_ligne> ; # Lecture notes in artificial intelligence, subseries of lecture notes in computer science (En ligne) ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1271440928#Series/lncs_sublibrary_sl_7_artificial_intelligence> ; # LNCS sublibrary. SL 7, Artificial intelligence
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1271440928#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/1271440928#Series/lecture_notes_in_artificial_intelligence_subseries_of_lecture_notes_in_computer_science> ; # Lecture notes in artificial intelligence. Subseries of Lecture notes in computer science ;
    schema:name "Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers" ;
    schema:productID "846788223" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/846788223#PublicationEvent/berlin_new_york_springer_2013> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/1271440928#Agent/springer> ; # Springer
    schema:url <http://dx.doi.org/10.1007/978-3-642-37890-4> ;
    schema:workExample <http://worldcat.org/isbn/9783642378904> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/846788223> ;
    .


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/1271440928#Meeting/international_workshop_on_declarative_agent_languages_and_technologies_10e_2012_valence_espagne> # International Workshop on Declarative Agent Languages and Technologies (10e : 2012 : Valence, Espagne)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/1271440928#Place/valence_espagne> ; # Valence, Espagne)
    schema:name "International Workshop on Declarative Agent Languages and Technologies (10e : 2012 : Valence, Espagne)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Place/valence_espagne> # Valence, Espagne)
    a schema:Place ;
    schema:name "Valence, Espagne)" ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Series/lecture_notes_in_artificial_intelligence_subseries_of_lecture_notes_in_computer_science> # Lecture notes in artificial intelligence. Subseries of Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/846788223> ; # Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers
    schema:name "Lecture notes in artificial intelligence. Subseries of Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Series/lecture_notes_in_artificial_intelligence_subseries_of_lecture_notes_in_computer_science_en_ligne> # Lecture notes in artificial intelligence, subseries of lecture notes in computer science (En ligne) ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/846788223> ; # Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers
    schema:name "Lecture notes in artificial intelligence, subseries of lecture notes in computer science (En ligne) ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/846788223> ; # Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Series/lncs_sublibrary_sl_7_artificial_intelligence> # LNCS sublibrary. SL 7, Artificial intelligence
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/846788223> ; # Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers
    schema:name "LNCS sublibrary. SL 7, Artificial intelligence" ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Topic/agent_intelligent> # Agent intelligent
    a schema:Intangible ;
    schema:name "Agent intelligent" ;
    .

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

<http://experiment.worldcat.org/entity/work/data/1271440928#Topic/informatique_repartie> # Informatique répartie
    a schema:Intangible ;
    schema:name "Informatique répartie" ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Topic/langage_declaratif> # Langage déclaratif
    a schema:Intangible ;
    schema:name "Langage déclaratif" ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Topic/langages_declaratifs_informatique> # Langages déclaratifs (Informatique)
    a schema:Intangible ;
    schema:name "Langages déclaratifs (Informatique)"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1271440928#Topic/systeme_multi_agents> # Système multi-agents
    a schema:Intangible ;
    schema:name "Système multi-agents" ;
    .

<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:birthDate "1968" ;
    schema:familyName "Baldoni" ;
    schema:givenName "Matteo" ;
    schema:name "Matteo Baldoni" ;
    .

<http://worldcat.org/isbn/9783642378904>
    a schema:ProductModel ;
    schema:isbn "3642378900" ;
    schema:isbn "9783642378904" ;
    .

<http://www.worldcat.org/title/-/oclc/846788223>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/846788223> ; # Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, revised selected papers
    schema:dateModified "2017-05-30" ;
    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.