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 2003, DALT 2004 aimed at fostering 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. Workshop Organisers: João Leite (Universidade Nova de Lisboa) Andrea Omicini (Università di Bologna a Cesena) Paolo Torroni (Università di Bologna) Pinar Yolum (Vrije Universiteit Amsterdam) URL: http://centria.di.fct.unl.pt/~jleite/dalt04/
2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004)
OMICINI, ANDREA;TORRONI, PAOLO;
2004
Abstract
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 2003, DALT 2004 aimed at fostering 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. Workshop Organisers: João Leite (Universidade Nova de Lisboa) Andrea Omicini (Università di Bologna a Cesena) Paolo Torroni (Università di Bologna) Pinar Yolum (Vrije Universiteit Amsterdam) URL: http://centria.di.fct.unl.pt/~jleite/dalt04/I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.