DALT 2003

Declarative Agent Languages and Technologies (DALT)

AAMAS Workshop - Melbourne, 15 of July 2003

Home
Call for Papers
Important Dates
Proceedings
Submissions
Program Committee
Accepted Papers
Program
Inquiries
Registration

 

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.

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.

Organizers: Printer Friendly Call for Papers:

Important Information for Participants:

bullet

Joćo Alexandre Leite (New University of Lisbon)

bullet

Andrea Omicini (University of Bologna)

bullet

Leon Sterling (University of Melbourne)

bullet

Paolo Torroni (University of Bologna)

Home | Call for Papers | Important Dates | Proceedings | Submissions | Program Committee | Accepted Papers | Program | Inquiries | Registration

This site was last updated 09 Jul 2003