857 search results - page 81 / 172 » A Logic of Emotions for Intelligent Agents |
AAAI
2004
13 years 11 months ago
2004
This paper provides a logical framework for negotiation between agents that are assumed to be rational, cooperative and truthful. We present a characterisation of the permissible ...
TARK
2009
Springer
14 years 4 months ago
2009
Springer
We introduce a logic designed to support reasoning about social choice functions. The logic includes operators to capture strategic ability, and operators to capture agent prefere...
ECAI
2004
Springer
14 years 3 months ago
2004
Springer
A critical aspect of an agent system is the ability to deal with unexpected situations to determine an appropriate course of action in a changing environment. In this paper, we inv...
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
FAABS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...