1052 search results - page 60 / 211 » Distributed Logic Programming using Mobile Agents |
129
Voted
ICPPW
1999
IEEE
15 years 7 months ago
1999
IEEE
Message oriented middleware (MOM) is a specific class of middleware that operates on the principles of message passing or message queuing. Existing MOM syste doesn't support ...
135
Voted
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
We present TECTLK, a logic to specify knowledge and real time in multi-agent systems. We show that the model checking problem is decidable, and we present an algorithm for TECTLK ...
137
click to vote
ENTCS
2002
15 years 2 months ago
2002
Abstract The last edition of CLIMA, held in 2001 in Paphos (Cyprus) ended with a panel session on the role of Computational Logic (CL) in Multi-Agent Systems (MAS). Two dimensions ...
112
Voted
SCL
2010
15 years 1 months ago
2010
—This paper considers the coupled formation control of three mobile agents moving in the plane. Each agent has only local inter-agent bearing knowledge and is required to maintai...
150
Voted
DALT
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper extends a programming language for implementing cognitive agents with the capability to explicitly represent beliefs and reason about them. In this programming...