Muutke küpsiste eelistusi

E-raamat: Declarative Agent Languages and Technologies VI: 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

Edited by , Edited by , Edited by , Edited by
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 5397
  • Ilmumisaeg: 25-Dec-2008
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540939207
  • Formaat - PDF+DRM
  • Hind: 55,56 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: PDF+DRM
  • Sari: Lecture Notes in Computer Science 5397
  • Ilmumisaeg: 25-Dec-2008
  • Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Keel: eng
  • ISBN-13: 9783540939207

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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 and Multiagent Systems, in Estoril, Portugal, on May 12, 2008. The 12 papers, presented together with 3 invited papers, were carefully reviewed and selected from 14 submissions. The workshop provided a discussion forum to both (i) support the transfer of declarative paradigms and techniques to the broader community of agent researchers and practitioners, and (ii) to bring the issue of designing complex agent systems to the attention of researchers working on declarative languages and technologies.
Invited Papers
Specifying and Enforcing Norms in Artificial Institutions
1(17)
Nicoletta Fornara
Marco Colombetti
Social Norm Emergence in Virtual Agent Societies
18(11)
Bastin Tony Roy Savarimuthu
Maryam Purvis
Martin Purvis
Stephen Cranefield
A Distributed Normative Infrastructure for Situated Multi-agent Organisations
29(18)
Fabio Y. Okuyama
Rafael H. Bordini
Antonio Carlos da Rocha Costa
Contributed Papers
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
47(13)
Jan Broersen
Combining Multiple Knowledge Representation Technologies into Agent Programming Languages
60(15)
Mehdi M. Dastani
Koen V. Hindriks
Peter Novak
Nick A.M. Tinnemeier
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
75(16)
Dimitar P. Guelev
Catalin Dima
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
91(20)
Thomas Klapiscak
Rafael H. Bordini
Leveraging New Plans in AgentSpeak(PL)
111(17)
Felipe Meneguzzi
Michael Luck
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading
128(15)
Azzurra Ragone
Tommaso Di Noia
Eugenio Di Sciascio
Francesco M. Donini
Inductive Negotiation in Answer Set Programming
143(18)
Chiaki Sakama
Mental State Abduction of BDI-Based Agents
161(18)
Michal P. Sindlar
Mehdi M. Dastani
Frank Dignum
John-Jules Ch. Meyer
Iterated Belief Revision in the Face of Uncertain Communication
179(18)
Yoshitaka Suzuki
Satoshi Tojo
Stijn De Saeger
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
197(18)
Emmanuel M. Tadjouddine
Frank Guerin
Wamberto Vasconcelos
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
215(18)
Koen V. Hindriks
M. Birna van Riemsdijk
Strategic Agent Communication: An Argumentation-Driven Approach
233(18)
Jamal Bentahar
Mohamed Mbarki
John-Jules Ch. Meyer
Bernard Moulin
Author Index 251