Skip to main content
  • Conference proceedings
  • © 2008

Declarative Agent Languages and Technologies V

5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

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

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 2007.

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-77564-5
  • 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 84.99
Price excludes VAT (USA)

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

Table of contents (14 papers)

  1. Front Matter

  2. Invited Talk

  3. Invited Papers

    1. Joint Conversation Specification and Compliance

      • Shamimabi Paurobally, Michael Wooldridge
      Pages 18-35
    2. Interoperation in Protocol Enactment

      • Amit K. Chopra, Munindar P. Singh
      Pages 36-49
  4. Contributed Papers: Modeling

    1. Integrating Agent Models and Dynamical Systems

      • Tibor Bosse, Alexei Sharpanskykh, Jan Treur
      Pages 50-68
  5. Contributed Papers: Goals

    1. Composing High-Level Plans for Declarative Agent Programming

      • Felipe Meneguzzi, Michael Luck
      Pages 69-85
    2. Satisfying Maintenance Goals

      • Koen V. Hindriks, M. Birna van Riemsdijk
      Pages 86-103
    3. Towards Alternative Approaches to Reasoning About Goals

      • Patricia H. Shaw, Rafael H. Bordini
      Pages 104-121
  6. Contributed Papers: Foundational Concepts

    1. Reflections on Agent Beliefs

      • John W. Lloyd, Kee Siong Ng
      Pages 122-139
    2. Modeling Agents’ Choices in Temporal Linear Logic

      • Duc Quang Pham, James Harland, Michael Winikoff
      Pages 140-157
    3. Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints

      • Martin J. Kollingbaum, Wamberto Vasconcelos, Andres García-Camino, Timothy J. Norman
      Pages 158-174
    4. On the Complexity Monotonicity Thesis for Environment, Behaviour and Cognition

      • Tibor Bosse, Alexei Sharpanskykh, Jan Treur
      Pages 175-192
  7. Contributed Papers: Communication

    1. Structured Argumentation in a Mediator for Online Dispute Resolution

      • Ioan Alfred Letia, Adrian Groza
      Pages 193-210
    2. Extending Propositional Logic with Concrete Domains for Multi-issue Bilateral Negotiation

      • Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
      Pages 211-226
    3. Component-Based Standardisation of Agent Communication

      • Frank Guerin, Wamberto Vasconcelos
      Pages 227-244
  8. Back Matter

Other Volumes

  1. Declarative Agent Languages and Technologies V

    5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers

Keywords

  • agent communication
  • agent cooperation
  • agent coordination
  • agent reasoning
  • agent systems design
  • agent systems specification
  • agent verification
  • autonom
  • autonomous agents
  • cognition
  • communication
  • complexity
  • declarative agent language
  • formal methods
  • logic

Bibliographic Information

Buying options

eBook USD 64.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-77564-5
  • 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 84.99
Price excludes VAT (USA)