Sciweavers

92 search results - page 5 / 19
» Representing and Reasoning about Game Strategies
Sort
View
ATAL
2005
Springer
14 years 1 months ago
A logic for strategic reasoning
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
Wiebe van der Hoek, Wojciech Jamroga, Michael Wool...
AAAI
2010
13 years 9 months ago
Goal-Driven Autonomy in a Navy Strategy Simulation
Modern complex games and simulations pose many challenges for an intelligent agent, including partial observability, continuous time and effects, hostile opponents, and exogenous ...
Matthew Molineaux, Matthew Klenk, David W. Aha
CSCLP
2008
Springer
13 years 9 months ago
Solving CSPs with Naming Games
Abstract. Constraint solving problems (CSPs) represent a formalization of an important class of problems in computer science. We propose here a solving methodology based on the nam...
Stefano Bistarelli, Giorgio Gosti
ATAL
2006
Springer
13 years 11 months ago
On the logic of coalitional games
We develop a logic for representing and reasoning about coalitional games without transferable payoffs. Although a number of logics of cooperation have been proposed over the past...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...
ATAL
2006
Springer
13 years 11 months ago
Temporal qualitative coalitional games
Qualitative Coalitional Games (QCGs) are a version of coalitional games in which an agent's desires are represented as goals which are either satisfied or unsatisfied, and ea...
Thomas Ågotnes, Wiebe van der Hoek, Michael ...