The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
The proliferation of online information resources increases the importance of effective and efficient distributed searching. Distributed searching is cast in three parts – datab...
Allison L. Powell, James C. French, James P. Calla...
For successful coordination and cooperation in a multiagent system, participants need to establish a sufficiently accurate awareness of the current situation. Awareness is underst...
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
Wiebe van der Hoek, Alessio Lomuscio, Michael Wool...
In this paper we produce complexity and impossibility results and develop algorithms for a task allocation problem that needs to be solved by a group of autonomous agents working ...