Skip to main content
  • Conference proceedings
  • © 2004

Declarative Agent Languages and Technologies

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

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

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

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

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

Table of contents (14 papers)

  1. Front Matter

  2. MAS as Complex Systems: A View on the Role of Declarative Approaches

    • Andrea Omicini, Franco Zambonelli
    Pages 1-16
  3. A Logic-Based Infrastructure for Reconfiguring Applications

    • Marco Castaldi, Stefania Costantini, Stefano Gentile, Arianna Tocchio
    Pages 17-36
  4. Operational Semantics for Agents by Iterated Refinement

    • Federico Bergenti, Giovanni Rimassa, Mirko Viroli
    Pages 37-53
  5. Go! for Multi-threaded Deliberative Agents

    • Keith L. Clark, Frank G. McCabe
    Pages 54-75
  6. An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology

    • Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta
    Pages 76-96
  7. A Logic for Ignorance

    • Wiebe van der Hoek, Alessio Lomuscio
    Pages 97-108
  8. Coo-BDI: Extending the BDI Model with Cooperativity

    • Davide Ancona, Viviana Mascardi
    Pages 109-134
  9. A Combined Logic of Expectation and Observation

    • Bình Vũ Trân, James Harland, Margaret Hamilton
    Pages 155-172
  10. A Social Approach to Communication in Multiagent Systems

    • Marco Colombetti, Nicoletta Fornara, Mario Verdicchio
    Pages 191-220
  11. Logic-Based Electronic Institutions

    • Wamberto W. Vasconcelos
    Pages 221-242
  12. Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study

    • Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Pages 243-262
  13. Linear Logic, Partial Deduction and Cooperative Problem Solving

    • Peep Küngas, Mihhail Matskin
    Pages 263-279
  14. Back Matter

Other Volumes

  1. Declarative Agent Languages and Technologies

Keywords

  • 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

  • Departamento de Informática, Universidade Nova de Lisboa, Caparica, Portugal

    João Leite

  • Alma Mater Studiorum Università di Bologna a Cesena, Cesena, Italy

    Andrea Omicini

  • Department of Computer Science and Software Engineering, The University of Melbourne, Australia

    Leon Sterling

  • DEIS, University of Bologna, Bologna, Italy

    Paolo Torroni

Bibliographic Information

  • Book Title: Declarative Agent Languages and Technologies

  • Book Subtitle: First International Workshop, DALT 2003, Melbourne, Australia, July 15, 2003, Revised Selected and Invited Papers

  • Editors: João Leite, Andrea Omicini, Leon Sterling, Paolo Torroni

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/b97923

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2004

  • Softcover ISBN: 978-3-540-22124-1Published: 02 June 2004

  • eBook ISBN: 978-3-540-25932-9Published: 22 July 2004

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 272

  • Topics: Software Engineering, Artificial Intelligence, Computer Communication Networks, Compilers and Interpreters

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions