466 search results - page 31 / 94 » Exception Handling in Agent Systems |
E4MAS
2004
Springer
14 years 1 months ago
2004
Springer
The increasing ubiquity of mobile computing devices has made mobile ad hoc networks an everyday occurrence. Applications in these networks are commonly structured as a logical netw...
CSFW
1995
IEEE
13 years 11 months ago
1995
IEEE
We discuss the issues involved in modelling and verifying key-exchange protocols within the framework of CSP and its model-checking tool FDR. Expressing such protocols within a pr...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
A strength of commitment protocols is that they enable agents to act flexibly, thereby enabling them to accommodate varying local policies and respond to exceptions. A consequent ...
ATAL
2011
Springer
12 years 7 months ago
2011
Springer
We consider a setting in which a principal seeks to induce an adaptive agent to select a target action by providing incentives on one or more actions. The agent maintains a belief...
KR
2010
Springer
14 years 14 days ago
2010
Springer
Handling exceptions in a knowledge-based system has been considered as an important issue in many domains of applications, such as medical domain. In this paper, we propose severa...