651 search results - page 102 / 131 » Reasoning about agent deliberation |
ENTCS
2007
14 years 9 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
81
Voted
TARK
2009
Springer
15 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...
59
Voted
ATAL
2007
Springer
15 years 3 months ago
2007
Springer
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
77
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we develop a novel algorithm that allows service consumer agents to automatically select and provision service provider agents for their workflows in highly dynamic...
80
Voted
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...