Atjaunināt sīkdatņu piekrišanu

E-grāmata: Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Artificial Intelligence 6619
  • Izdošanas datums: 08-Apr-2011
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783642207150
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Artificial Intelligence 6619
  • Izdošanas datums: 08-Apr-2011
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • Valoda: eng
  • ISBN-13: 9783642207150

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Declarative Agent Languages and Technologies, DALT 2010, held in Toronto, Canada, on May 10, 2010, as a satellite workshop of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2010.

The 7 revised full papers presented together with 4 invited lectures were carefully selected during two rounds of reviewing and improvement from 24 initial submissions. DALT aims to make formal methods and declarative technologies and approaches available to and understood by a broader segment of the multi-agent research community; the papers are organized in topical sections on BDI rational agents, communication, coordination and negotiation, as well as social aspects and control systems.
BDI Rational Agents
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems
1(21)
John Thangarajah
James Harland
David Morley
Neil Yorke-Smith
BDI Agents with Objectives and Preferences
22(18)
Aniruddha Dasgupta
Aditya K. Ghose
Communication, Coordination and Negotiation
Query-Driven Coordination of Multiple Answer Sets
40(20)
Gauvain Bourgne
Katsumi Inoue
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
60(18)
Matteo Baldoni
Cristina Baroglio
Elisa Marengo
A Deduction System for Meaning Negotiation
78(18)
Elisa Burato
Matteo Cristani
Luca Vigano
Social Aspects and Control Systems
Declarative Abstractions for Agent Based Hybrid Control Systems
96(16)
Louise A. Dennis
Michael Fisher
Nicholas K. Lincoln
Alexei Lisitsa
Sandor M. Veres
Executing Specifications of Social Reasoning Agents
112(18)
Iain Wallace
Michael Rovatsos
Invited Papers
Logic of Information Flow on Communication Channels
130(18)
Yanjing Wang
Floor Sietsma
Jan van Eijck
Distributed Abductive Reasoning with Constraints
148(19)
Jiefei Ma
Krysia Broda
Alessandra Russo
Ernil Lupu
Understanding Permissions through Graphical Norms
167(18)
Nir Oren
Madalina Croitoru
Simon Miles
Michael Luck
Symbolic Model Checking Commitment Protocols Using Reduction
185(20)
Mohamed El-Menshawy
Jamal Bentahar
Rachida Dssouli
Author Index 205