Muutke küpsiste eelistusi

E-raamat: 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
  • 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.

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 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