Skip to main content
  • Conference proceedings
  • © 2013

Declarative Agent Languages and Technologies X

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

  • Fast-track conference proceedings

  • State-of-the-art research

  • Up-to-date results

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7784)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Conference series link(s): DALT: International Workshop on Declarative Agent Languages and Technologies

Conference proceedings info: DALT 2012.

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-37890-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 72.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (13 papers)

  1. Front Matter

  2. Invited Papers

    1. Handling Change in Normative Specifications

      • Duangtida Athakravi, Domenico Corapi, Alessandra Russo, Marina De Vos, Julian Padget, Ken Satoh
      Pages 1-19
    2. Latest Developments of WADE to Support User-Centric Business Processes

      • Federico Bergenti, Giovanni Caire, Danilo Gotta
      Pages 20-36
    3. Strong Planning in the Logics of Communication and Change

      • Pere Pardo, Mehrnoosh Sadrzadeh
      Pages 37-56
    4. Agent Deliberation via Forward and Backward Chaining in Linear Logic

      • Luke Trodd, James Harland, John Thangarajah
      Pages 57-75
  3. Contributed Papers

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

      • Davide Ancona, Sophia Drossopoulou, Viviana Mascardi
      Pages 76-95
    2. A Generalized Commitment Machine for 2CL Protocols and Its Implementation

      • Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati, Elisa Marengo, Viviana Patti
      Pages 96-115
    3. Solving Fuzzy Distributed CSPs: An Approach with Naming Games

      • Stefano Bistarelli, Giorgio Gosti, Francesco Santini
      Pages 116-135
    4. Commitment Protocol Generation

      • Akın Günay, Michael Winikoff, Pınar Yolum
      Pages 136-152
    5. Goal-Based Qualitative Preference Systems

      • Wietske Visser, Koen V. Hindriks, Catholijn M. Jonker
      Pages 153-169
    6. SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems

      • Bożena Woźna-Szcześniak, Andrzej Zbrzezny
      Pages 170-189
  4. Position Papers

    1. Some Thoughts about Commitment Protocols

      • Matteo Baldoni, Cristina Baroglio
      Pages 190-196
    2. Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends

      • Viviana Mascardi, James Hendler, Laura Papaleo
      Pages 197-202
    3. Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell

      • Alessandro Solimando, Riccardo Traverso
      Pages 203-207
  5. Back Matter

Other Volumes

  1. Declarative Agent Languages and Technologies X

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

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.

Keywords

  • cognitive agents
  • commitment protocols
  • formal verification
  • logic programming
  • multi-agent systems

Editors and Affiliations

  • Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy

    Matteo Baldoni

  • Department of Computer Science, University of Liverpool, Liverpool, UK

    Louise Dennis

  • DIBRIS, Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi, Università degli Studi di Genova, Genova, Italy

    Viviana Mascardi

  • Department of Computing Science, University of Aberdeen, Aberdeen, UK

    Wamberto Vasconcelos

Bibliographic Information

Buying options

eBook USD 54.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-37890-4
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 72.00
Price excludes VAT (USA)