Declarative Agent Languages and Technologies V

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

  • Editors
  • Matteo Baldoni
  • Tran Cao Son
  • M. Birna van Riemsdijk
  • Michael Winikoff
Conference proceedings DALT 2007

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

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 4897)

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Invited Papers

    1. Shamimabi Paurobally, Michael Wooldridge
      Pages 18-35
    2. Amit K. Chopra, Munindar P. Singh
      Pages 36-49
  4. Contributed Papers: Modeling

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

    1. Felipe Meneguzzi, Michael Luck
      Pages 69-85
    2. Koen V. Hindriks, M. Birna van Riemsdijk
      Pages 86-103
    3. Patricia H. Shaw, Rafael H. Bordini
      Pages 104-121
  6. Contributed Papers: Foundational Concepts

    1. John W. Lloyd, Kee Siong Ng
      Pages 122-139
    2. Duc Quang Pham, James Harland, Michael Winikoff
      Pages 140-157
    3. Martin J. Kollingbaum, Wamberto Vasconcelos, Andres García-Camino, Timothy J. Norman
      Pages 158-174
    4. Tibor Bosse, Alexei Sharpanskykh, Jan Treur
      Pages 175-192
  7. Contributed Papers: Communication

    1. Ioan Alfred Letia, Adrian Groza
      Pages 193-210
    2. Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini
      Pages 211-226
    3. Frank Guerin, Wamberto Vasconcelos
      Pages 227-244
  8. Back Matter

About these proceedings

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

  • DOI https://doi.org/10.1007/978-3-540-77564-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2008
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-77563-8
  • Online ISBN 978-3-540-77564-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book