748 search results - page 137 / 150 » Towards deception in agents |
LICS
2007
IEEE
14 years 2 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
ROMAN
2007
IEEE
14 years 2 months ago
2007
IEEE
— We suggest that people’s responses to a robot of which attention starts to be distracted show whether they accept the robot as an intentional communication partner or not. Hu...
EUSAI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Research in many fields of AI, such as distributed planning and reasoning, agent teamwork and coalition formation, cooperative problem solving and action theory has adva...
KI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
CIMCA
2005
IEEE
14 years 1 months ago
2005
IEEE
Owing to the increase in both heterogeneity and complexity in today’s networking systems, the need arises for an architecture for network-based services that provides flexibilit...