Declarative Agent Languages and Technologies

First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

  • João Leite
  • Andrea Omicini
  • Leon Sterling
  • Paolo Torroni
Conference proceedings DALT 2003

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

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

Table of contents

  1. Front Matter
  2. Andrea Omicini, Franco Zambonelli
    Pages 1-16
  3. Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio
    Pages 17-36
  4. Federico Bergenti, Giovanni Rimassa, Mirko Viroli
    Pages 37-53
  5. Keith L. Clark, Frank G. McCabe
    Pages 54-75
  6. Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta
    Pages 76-96
  7. Wiebe van der Hoek, Alessio Lomuscio
    Pages 97-108
  8. Davide Ancona, Viviana Mascardi
    Pages 109-134
  9. Bình Vũ Trân, James Harland, Margaret Hamilton
    Pages 155-172
  10. Marco Colombetti, Nicoletta Fornara, Mario Verdicchio
    Pages 191-220
  11. Wamberto W. Vasconcelos
    Pages 221-242
  12. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Pages 243-262
  13. Peep Küngas, Mihhail Matskin
    Pages 263-279
  14. Back Matter

About these proceedings


D programming language agent communication agent systems design agent technology agent-oriented software engineering complexity declarative agent languages declarative programming evolutionary biology formal methods modeling multi-agent system multi-agent systems semantics verification

Editors and affiliations

  • João Leite
    • 1
  • Andrea Omicini
    • 2
  • Leon Sterling
    • 3
  • Paolo Torroni
    • 4
  1. 1.Departamento de InformáticaUniversidade Nova de LisboaCaparicaPortugal
  2. 2.Alma Mater Studiorum Università di Bologna a CesenaCesenaItaly
  3. 3.Department of Computer Science and Software EngineeringThe University of MelbourneAustralia
  4. 4.DEISUniversity of BolognaBolognaItaly

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22124-1
  • Online ISBN 978-3-540-25932-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software