1052 search results - page 85 / 211 » Distributed Logic Programming using Mobile Agents |
136
click to vote
ATAL
2009
Springer
15 years 9 months ago
2009
Springer
Alternating-time temporal logic (atl) is one of the most influential logics for reasoning about agents’ abilities. Constructive Strategic Logic (csl) is a variant of atl for im...
149
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...
105
click to vote
ICRA
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract— A distributed control law that guarantees connectivity maintenance in a network of multiple mobile agents is presented. The control law respects the limited sensing cap...
132
click to vote
ICRA
2005
IEEE
15 years 8 months ago
2005
IEEE
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
CONCUR
2007
Springer
15 years 9 months ago
2007
Springer
Dπ is a simple distributed extension of the π-calculus in which agents are explicitly located, and may use an explicit migration construct to move between locations. In this pap...