Atjaunināt sīkdatņu piekrišanu

Declarative Agent Languages and Technologies VIII: 8th International Workshop, DALT 2009, Toronto, Canada, May 10, 2010, Revised Selected and Invited Papers [Mīkstie vāki]

Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 205 pages, height x width: 235x155 mm, weight: 338 g, X, 205 p., 1 Paperback / softback
  • Sērija : Lecture Notes in Artificial Intelligence 6619
  • Izdošanas datums: 26-Apr-2011
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642207146
  • ISBN-13: 9783642207143
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Formāts: Paperback / softback, 205 pages, height x width: 235x155 mm, weight: 338 g, X, 205 p., 1 Paperback / softback
  • Sērija : Lecture Notes in Artificial Intelligence 6619
  • Izdošanas datums: 26-Apr-2011
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3642207146
  • ISBN-13: 9783642207143
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