Declarative Agent Languages and Technologies IV

4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006, Selected, Revised and Invited Papers

  • Matteo Baldoni
  • Ulle Endriss
Conference proceedings DALT 2006

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

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

Table of contents

  1. Front Matter
  2. Invited Talk

  3. Invited Papers

    1. Dejing Dou, Drew McDermott
      Pages 16-28
    2. Nardine Osman, David Robertson, Christopher Walton
      Pages 43-60
  4. Contributed Papers

    1. Natasha Alechina, Rafael H. Bordini, Jomi F. Hübner, Mark Jago, Brian Logan
      Pages 61-77
    2. Guido Boella, Leendert van der Torre
      Pages 78-88
    3. Gauvain Bourgne, Nicolas Maudet, Suzanne Pinson
      Pages 89-104
    4. Vineet Padmanabhan, Guido Governatori
      Pages 105-122
    5. Jomi F. Hübner, Rafael H. Bordini, Michael Wooldridge
      Pages 123-140
    6. Thomas Konnerth, Benjamin Hirsch, Sahin Albayrak
      Pages 141-155
    7. Ioan Alfred Letia, Adrian Groza
      Pages 156-173
    8. Gobinath Narayanasamy, Joe Cecil, Tran Cao Son
      Pages 191-206
    9. José Ghislain Quenum, Samir Aknine, Jean-Pierre Briot, Shinichi Honiden
      Pages 207-224
    10. M. Birna van Riemsdijk, Mehdi Dastani
      Pages 225-238
  5. Back Matter

About these proceedings


Action Description Language agent communication agent cooperation agent coordination agent reasoning agent systems design agent verification agent-oriented software engineering autonomous agents complexity formal methods logic modeling programming semantic web

Editors and affiliations

  • Matteo Baldoni
    • 1
  • Ulle Endriss
    • 2
  1. 1.Dipartimento di InformaticaUniversità di Torino,TurinItaly
  2. 2.Artificial Intelligence ProgrammeUniversity of Amsterdam 

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science Computer Science (R0)
  • Print ISBN 978-3-540-68959-1
  • Online ISBN 978-3-540-68961-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site