Declarative Agent Languages and Technologies (DALT)

AAMAS'04 Workshop - New York, July 19, 2004

About the Workshop...

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.

Following the success of DALT'03, this year's edition aims at foster a discussion forum to further export declarative paradigms and techniques into the broader community of agent researchers and practitioners, as well as bring in the issues of real-world, complex and possibly large-scale agent system design in the perspective of declarative programming and technologies.