1052 search results - page 58 / 211 » Distributed Logic Programming using Mobile Agents |
134
click to vote
MAGS
2008
15 years 2 months ago
2008
Process calculi are mathematical tools used for modeling and analyzing the structure and behavior of reactive systems. One such calculus, called APi-calculus (an extension to Pi-ca...
123
Voted
JELIA
2004
Springer
15 years 8 months ago
2004
Springer
Logical formalisation of agent behaviour is desirable, not only in order to provide a clear semantics of agent-based systems, but also to provide the foundation for sophisticated r...
146
Voted
CLIMA
2006
15 years 4 months ago
2006
FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...
154
Voted
CONCURRENCY
2000
15 years 2 months ago
2000
The 1990s are seeing the explosive growth of the Internet and Web-based information sharing and dissemination systems. The Internet is also showing a potential of forming of a sup...
148
Voted
MA
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents a mobile agent approach that aims at satisfying the following requirements of open Internet-based electronic service markets: the mobile agent system should be...