Book Volume 7784 2013

Declarative Agent Languages and Technologies X

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

ISBN: 978-3-642-37889-8 (Print) 978-3-642-37890-4 (Online)

Table of contents (13 chapters)

  1. Front Matter

    Pages -

  2. Invited Papers

    1. Chapter

      Pages 1-19

      Handling Change in Normative Specifications

    2. Chapter

      Pages 20-36

      Latest Developments of WADE to Support User-Centric Business Processes

    3. Chapter

      Pages 37-56

      Strong Planning in the Logics of Communication and Change

    4. Chapter

      Pages 57-75

      Agent Deliberation via Forward and Backward Chaining in Linear Logic

  3. Contributed Papers

    1. Chapter

      Pages 76-95

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

    2. Chapter

      Pages 96-115

      A Generalized Commitment Machine for 2CL Protocols and Its Implementation

    3. Chapter

      Pages 116-135

      Solving Fuzzy Distributed CSPs: An Approach with Naming Games

    4. Chapter

      Pages 136-152

      Commitment Protocol Generation

    5. Chapter

      Pages 153-169

      Goal-Based Qualitative Preference Systems

    6. Chapter

      Pages 170-189

      SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems

  4. Position Papers

    1. Chapter

      Pages 190-196

      Some Thoughts about Commitment Protocols

    2. Chapter

      Pages 197-202

      Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends

    3. Chapter

      Pages 203-207

      Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell

  5. Back Matter

    Pages -