Lecture Notes in Artificial Intelligence

Declarative Agent Languages and Technologies X

10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers

Editors: Baldoni, M., Dennis, L.A., Mascardi, V., Vasconcelos, W. (Eds.)

Free Preview
  • Fast-track conference proceedings
  • State-of-the-art research
  • Up-to-date results
see more benefits

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-642-37890-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $72.00
price for USA in USD
About this book

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.

Table of contents (13 chapters)

Table of contents (13 chapters)
  • Handling Change in Normative Specifications

    Pages 1-19

    Athakravi, Duangtida (et al.)

  • Latest Developments of WADE to Support User-Centric Business Processes

    Pages 20-36

    Bergenti, Federico (et al.)

  • Strong Planning in the Logics of Communication and Change

    Pages 37-56

    Pardo, Pere (et al.)

  • Agent Deliberation via Forward and Backward Chaining in Linear Logic

    Pages 57-75

    Trodd, Luke (et al.)

  • Automatic Generation of Self-monitoring MASs from Multiparty Global Session Types in Jason

    Pages 76-95

    Ancona, Davide (et al.)

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-642-37890-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Softcover $72.00
price for USA in USD
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Declarative Agent Languages and Technologies X
Book Subtitle
10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected and Invited Papers
Editors
  • Matteo Baldoni
  • Louise A. Dennis
  • Viviana Mascardi
  • Wamberto Vasconcelos
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
7784
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-37890-4
DOI
10.1007/978-3-642-37890-4
Softcover ISBN
978-3-642-37889-8
Edition Number
1
Number of Pages
XII, 209
Number of Illustrations
42 b/w illustrations
Topics