Declarative Agent Languages and Technologies (DALT)

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

Call for Papers
Important Dates
Program Committee
Accepted Papers

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.


bulletJoão Leite (Universidade Nova de Lisboa)
bulletAndrea Omicini (Università di Bologna a Cesena)
bulletPaolo Torroni (Università di Bologna)
bulletPinar Yolum (Vrije Universiteit Amsterdam)



bulletThe Post-proceedings are now available as LNAI 3476.