Sciweavers

2088 search results - page 56 / 418
» The SPARK Agent Framework
Sort
View
ECSQARU
2007
Springer
16 years 11 days ago
Extending Classical Planning to the Multi-agent Case: A Game-Theoretic Approach
When several agents operate in a common environment, their plans may interfere so that the predicted outcome of each plan may be altered, even if it is composed of deterministic ac...
Ramzi Ben Larbi, Sébastien Konieczny, Pierr...
ICMAS
1998
15 years 7 months ago
Verifiable Semantics for Agent Communication Languages
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
Michael Wooldridge
ISORC
2003
IEEE
15 years 11 months ago
A Dynamic Shadow Approach for Mobile Agents to Survive Crash Failures
Fault tolerance schemes for mobile agents to survive agent server crash failures are complex since developers normally have no control over remote agent servers. Some solutions mo...
Simon Pears, Jie Xu, Cornelia Boldyreff
ESAW
2006
Springer
15 years 10 months ago
Competence Checking for the Global E-Service Society Using Games
Abstract. We study the problem of checking the competence of communicative agents operating in a global society in order to receive and offer electronic services. Such a society wi...
Kostas Stathis, George Lekeas, Christos Kloukinas
ATC
2006
Springer
15 years 8 months ago
Managing Trust in Distributed Agent Systems
Abstract. Software agent technology has attracted much attention for developing various distributed systems, composed of autonomous agents interacting with one another using partic...
Stephen S. Yau