170 search results - page 8 / 34 » atal 2004 |
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
We propose an argumentation-based framework for representing communication theories of agents that can take into account dialogue strategies and society protocols in a way that fa...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
In prior work we established how physicomimetics can be used to self-organize hexagonal and square lattice formations of mobile robots. In this paper we extend the framework to mo...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
This paper presents a novel chemical plume tracing algorithm executed by a distributed network of mobile sensing agents that measure the ambient fluid velocity and chemical conce...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Agents in a team must be in agreement. Once a disagreement occurs we should detect the disagreement and diagnose it. Unfortunately, current diagnosis techniques do not sc...
ATAL
2004
Springer
15 years 3 months ago
2004
Springer
We highlight the limitations of formal methods by exhibiting two results in recursive function theory: that there is no effective means of finding a program that satisfies a given...