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., Mascardi, V., Vasconcelos, W. (Eds.)

  • 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 (gross)
  • ISBN 978-3-642-37890-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-37889-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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)

  • Handling Change in Normative Specifications

    Athakravi, Duangtida (et al.)

    Pages 1-19

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

    Bergenti, Federico (et al.)

    Pages 20-36

  • Strong Planning in the Logics of Communication and Change

    Pardo, Pere (et al.)

    Pages 37-56

  • Agent Deliberation via Forward and Backward Chaining in Linear Logic

    Trodd, Luke (et al.)

    Pages 57-75

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

    Ancona, Davide (et al.)

    Pages 76-95

Buy this book

eBook $54.99
price for USA (gross)
  • ISBN 978-3-642-37890-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $72.00
price for USA
  • ISBN 978-3-642-37889-8
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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 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 and Tables
42 b/w illustrations
Topics