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 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-25932-9
  • 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 99.00
Price excludes VAT (USA)

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

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

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

Buying options

eBook USD 74.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-25932-9
  • 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 99.00
Price excludes VAT (USA)