Wyniki wyszukiwania:

Agent metaphors and technologies are increasingly adopted to harness and g- ernthecomplexityoftoday ssystems.Asaconsequence, thegrowingcomplexity of agent systems calls for models and technologies that promote system p- dictability and enable feature discovery and veri?cation. Formal methods and declarative technologies have recently attracted a growing interest as a means to address such issues. The aim of the DALT 2003 workshop was two-fold. On the one hand, we wanted to foster a discussion forum to export such techniques into the broader...

These are the proceedings of the 11th International Workshop on Cooperative Information Agents (CIA 2007), held at the Delft University of Technology, The Netherlands, September 19-21, 2007. Intoday'sworldofubiquitouslyconnectedheterogeneousinformationsystems and computing devices, the intelligent coordination and provision of relevant added-value information at any time, anywhere is of key importance to a va- ety of applications. This challenge is envisioned to be coped with by means of appropriate intelligent and cooperative information agents. An information agent is a computational...