1052 search results - page 43 / 211 » Distributed Logic Programming using Mobile Agents |
108
click to vote
FLAIRS
2000
15 years 3 months ago
2000
This paper describes a novel semantic framework for an agent architecture. Drawing on Shoham's work on AGENT0 (Shoham 1993), we replace Shoham's modal logic semantics wi...
117
click to vote
APAL
2006
15 years 2 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
129
click to vote
IJIT
2004
15 years 3 months ago
2004
Both software applications and their development environment are becoming more and more distributed. This trend impacts not only the way software computes, but also how it looks. T...
129
click to vote
JIT
2004
Springer
15 years 7 months ago
2004
Springer
In the research domain agent-based systems are widely used for mobile and distributed information systems. Their underlying paradigm provides excellent mechanisms to isolate tasks ...
109
click to vote
ICALP
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...