5243 search results - page 128 / 1049 » Reasoning About Strategies |
151
click to vote
ALP
1994
Springer
15 years 10 months ago
1994
Springer
Kennaway proved the remarkable result that every (almost) orthogonal term rewriting system admits a computable sequential normalizing reduction strategy. In this paper we present ...
206
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents a novel strategy improvement algorithm for parity and payoff games, which is guaranteed to select, in each improvement step, an optimal combination of local str...
159
click to vote
DALT
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes a formal framework for agent communication where agents can reason about their goals using strategic reasoning. This reasoning is argumentation-based ...
166
click to vote
EUMAS
2006
15 years 7 months ago
2006
When developing BDI agent-based systems, some design patterns such as incompatible intentions, multiple strategies, intention decomposition, etc. would be very useful for specifyi...
175
click to vote
CSL
1998
Springer
15 years 6 months ago
1998
Springer
This paper presents PARADISE PARAdigm for DIalogue System Evaluation , a general framework for evaluating and comparing the performance of spoken dialogue agents. The framework d...