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/
Leite João Alexandre, Omicini Andrea, Torroni Paolo, Yolum Pinar (2004). 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004).
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.
