Skip to main content
SpringerLink
Log in

Declarative Agent Languages and Technologies X

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

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Matteo Baldoni

    1. Dipartimento di Informatica, Università degli Studi di Torino, Torino, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Louise Dennis

    1. Department of Computer Science, University of Liverpool, Liverpool, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Viviana Mascardi

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Wamberto Vasconcelos

    1. Department of Computing Science, University of Aberdeen, Aberdeen, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: DALT 2012.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (13 papers)

  1. Front Matter

    Download chapter PDF

  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

    Download chapter PDF
Back to top

Other volumes

  1. Declarative Agent Languages and Technologies X

Keywords

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.

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

  • 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 Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-37890-4

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2013

  • Softcover ISBN: 978-3-642-37889-8Published: 09 April 2013

  • eBook ISBN: 978-3-642-37890-4Published: 15 April 2013

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XII, 209

  • Number of Illustrations: 42 b/w illustrations

  • Topics: Artificial Intelligence, Logics and Meanings of Programs, Software Engineering, Computer Science, general

Publish with us

Policies and ethics

Back to top

Search

Navigation