DALT 2005

“Declarative Agent Languages and Technologies”, in its third edition this year, is an well-established venue for researchers interested in sharing their experiences in declarative and formal aspects of agents and multi-agent systems, on the one hand, and in engineering and technology on the other. Today it is still a challenge to develop technologies that can satisfy the requirements of complex agent systems. Importantly, building multi-agent systems still calls for models and technologies that ensure predictability, enable feature discovery, allow the verification of properties, and guarantee flexibility. Declarative approaches are potentially a valuable means for satisfying the needs of multi-agent systems developers and for specifying multi-agent systems. 

The main goal of DALT is to provide a discussion to both (1) support the transfer of declarative paradigms and techniques into the broader community of agent researchers and practitioners, and (2) to bring the issues of designing real-world and complex agent system to the attention of researchers working on declarative programming and technologies

temi di interesse

Declarative agent communication and coordination languages • Declarative approaches to the engineering of agent systems • Experimental studies of declarative technologies • Industrial and commercial experiences with declarative agent technologies • Formal methods for the specification and verification of agent systems • Distributed constraint satisfaction and constraint reasoning in agents  • Multi-criteria optimisation and distributed problem solving with constraints • Computational logics in multi-agent systems • Model Checking MAS • Declarative description of contracts and negotiation issues • Lessons learned from the design and implementation of agent systems • Declarative paradigms for the combination of heterogeneous agents • Constraints and agent systems • Declarative policies and security in MAS • Knowledge-based and knowledge-intensive MAS • Modeling of agent rationality

evento ospitante

 AAMAS 2005

evento colocato

 ANI@REM 2005 @ AAMAS 2005 •  AOSE 2005 @ AAMAS 2005 •  ArgMAS 2005 @ AAMAS 2005 •  E4MAS 2005 @ AAMAS 2005 •  ESOA 2005 @ AAMAS 2005 •  OOOP 2005 @ AAMAS 2005 •  PROMAS 2005 @ AAMAS 2005 •  AP2PC 2005 @ AAMAS 2005

progetto finanziatore

 AgentLink III — A Coordination Network for Agent-based Computing (01/01/2004–31/01/2006)

evento origine per pubblicazione

 Preface (editoriale/introduzione/prefazione, 2006) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni

 Declarative Agent Languages and Technologies III (curatela, 2006) — Matteo Baldoni, Ulle Endriss, Andrea Omicini, Paolo Torroni

evento ospitato per

 AAMAS 2005

evento colocato per

 PROMAS 2005 @ AAMAS 2005 •  ArgMAS 2005 @ AAMAS 2005 •  OOOP 2005 @ AAMAS 2005 •  AP2PC 2005 @ AAMAS 2005 •  ANI@REM 2005 @ AAMAS 2005 •  AOSE 2005 @ AAMAS 2005 •  E4MAS 2005 @ AAMAS 2005 •  ESOA 2005 @ AAMAS 2005

evento della serie

 International Workshop on Declarative Agent Languages and Technologies