DALT 2003

   page       attach   
1st International Workshop on Declarative Agent Languages and Technologies
Melbourne, Australia, 15/07/2003

Agent metaphors and technologies are ever more adopted to harness and govern the complexity of today’s systems. As a consequence, the growing complexity of agent systems calls for models and technologies that promote system predictability, and enable feature discovery and verification.

Formal methods and declarative technologies have recently witnessed a growing interest as a vehicle to address such issues.

DALT aims at fostering a discussion forum to export, on the one hand, such techniques into the broader community of agent researchers and practitioners and, on the other hand, to bring in the issues of real-world, complex, and possibly large-scale agent system design in the perspective of formal methods and declarative technologies.

topics of interest
  • Declarative agent communication and coordination languages
  • Knowledge-based and knowledge-intensive MAS
  • Modeling of agent rationality
  • Declarative approaches to the engineering of MAS
  • High level agent specification languages
  • Practical aspects of declarative agent programming and implementation
  • Formal methods for the specification and verification of MAS
  • Computational logics in MAS
  • Argumentation and dialectical systems in MAS
  • Declarative description of contracts and negotiation issues in MAS
  • Lessons learned from the design and implementation of MAS
  • Declarative paradigms for the combination of heterogeneous agents
  • Constraints and MAS
  • Declarative representation of policies and security in MAS
hosting event
works as
origin event for publication
page_white_acrobatDeclarative Agent Languages and Technologies (edited volume, 2004) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
page_white_acrobatPreface (editorial/introduction/preface, 2004) — João Alexandre Leite, Andrea Omicini, Leon Sterling, Paolo Torroni
page_white_acrobatMAS as Complex Systems: A View on the Role of Declarative Approaches (paper in proceedings, 2004) — Andrea Omicini, Franco Zambonelli
hosted event for
series event