zum Inhalt wechseln
Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 : revised selected papers Titelvorschau
SchließenTitelvorschau
Prüfung…

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

Verfasser/in: Matteo Baldoni; et al
Verlag: Berlin ; New York : Springer, ©2013.
Serien: Lecture notes in computer science, 7784.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Ausgabe/Format   E-Book : Dokument : Tagungsband : EnglischAlle Ausgaben und Formate anzeigen
Datenbank:WorldCat
Zusammenfassung:
This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012. The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics:  Weiterlesen…
Bewertung:

(noch nicht bewertet) 0 mit Rezensionen - Verfassen Sie als Erste eine Rezension.

Themen
Ähnliche Titel

 

Online anzeigen

Links zu diesem Titel

Exemplar ausleihen

&AllPage.SpinnerRetrieving; Suche nach Bibliotheken, die diesen Titel besitzen ...

Details

Gattung/Form: Electronic books
Conference proceedings
Congresses
Physisches Format Printed edition:
Medientyp: Tagungsband, Dokument, Internetquelle
Dokumenttyp: Internet-Ressource, Computer-Datei
Alle Autoren: Matteo Baldoni; et al
ISBN: 9783642378904 3642378900
OCLC-Nummer: 841237036
Beschreibung: 1 online resource (xii, 207 p.) : ill.
Inhalt: Invited Papers --
Handling Change in Normative Specifications / Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget --
Latest Developments of WADE to Support User-Centric Business Processes / Federico Bergenti, Giovanni Caire, Danilo Gotta --
Strong Planning in the Logics of Communication and Change / Pere Pardo, Mehrnoosh Sadrzadeh --
Agent Deliberation via Forward and Backward Chaining in Linear Logic / Luke Trodd, James Harland, John Thangarajah --
Contributed Papers --
Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason / Davide Ancona, Sophia Drossopoulou, Viviana Mascardi --
A Generalized Commitment Machine for 2CL Protocols and Its Implementation / Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti --
Solving Fuzzy Distributed CSPs: An Approach with Naming Games / Stefano Bistarelli, Giorgio Gosti, Francesco Santini --
Commitment Protocol Generation / Akın Günay, Michael Winikoff, Pınar Yolum --
Goal-Based Qualitative Preference Systems / Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker --
SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems / Bożena Woźna-Szcześniak, Andrzej Zbrzezny --
Position Papers --
Some Thoughts about Commitment Protocols / Matteo Baldoni, Cristina Baroglio --
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends / Viviana Mascardi, James Hendler, Laura Papaleo --
Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell / Alessandro Solimando, Riccardo Traverso.
Serientitel: Lecture notes in computer science, 7784.; Lecture notes in computer science., Lecture notes in artificial intelligence.; LNCS sublibrary., SL 7,, Artificial intelligence.
Andere Titel DALT 2012
Declarative agent languages and technologies 10
Declarative agent languages and technologies ten
Verfasserangabe: Matteo Baldoni...[et al.] (eds.).

Abstract:

This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012. The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents.

Rezensionen

Nutzer-Rezensionen
Suche nach GoodReads-Rezensionen
Suche nach DOGObooks-Rezensionen…

Tags

Tragen Sie als Erste Tags ein.
Anfrage bestätigen

Sie haben diesen Titel bereits angefordert. Wenn Sie trotzdem fortfahren möchten, klicken Sie auf OK.

Verlinkung


<http://www.worldcat.org/oclc/841237036>
library:oclcnum"841237036"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:typeschema:MediaObject
rdf:valueUnknown value: cnp
rdf:valueUnknown value: dct
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:alternateName"DALT 2012"
schema:alternateName"Declarative agent languages and technologies 10"
schema:alternateName"Declarative agent languages and technologies ten"
schema:bookFormatschema:EBook
schema:contributor
schema:copyrightYear"2013"
schema:creator
schema:datePublished"2013"
schema:description"This book constitutes the thoroughly refereed post-proceedings of the 10th International Workshop on Declarative Agent Languages and Technologies, DALT 2012, held in conjunction with the 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012) at Valencia, Spain, in June 2012. The volume contains 13 revised selected presented at DALT 2012.The papers cover the following topics: declarative languages and technologies, computational logics, declarative approaches to engineering agent-based systems, models of business interactions among agents, and models of trust, commitments, and reputation for agents."
schema:exampleOfWork<http://worldcat.org/entity/work/id/1271440928>
schema:genre"Electronic books"
schema:genre"Conference proceedings"
schema:inLanguage"en"
schema:isPartOf
schema:isPartOf
schema:name"Declarative agent languages and technologies X 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012 : revised selected papers"
schema:numberOfPages"207"
schema:publication
schema:publisher
schema:url
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Fenster schließen

Bitte in WorldCat einloggen 

Sie haben kein Konto? Sie können sehr einfach ein kostenloses Konto anlegen,.