Sciweavers

260 search results - page 20 / 52
» Strategic Deception in Agents
Sort
View
CLIMA
2008
13 years 11 months ago
Easy Yet Hard: Model Checking Strategies of Agents
Abstract. I present an overview of complexity results for model checking of temporal and strategic logics. Unfortunately, it is possible to manipulate the context so that different...
Wojciech Jamroga
TARK
2007
Springer
14 years 3 months ago
Alternating-time temporal logics with irrevocable strategies
In Alternating-time Temporal Logic (atl), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal φ such as: “agent i ca...
Thomas Ågotnes, Valentin Goranko, Wojciech J...
ML
1998
ACM
13 years 9 months ago
Conjectural Equilibrium in Multiagent Learning
Abstract. Learning in a multiagent environment is complicated by the fact that as other agents learn, the environment effectively changes. Moreover, other agents’ actions are oft...
Michael P. Wellman, Junling Hu
ATAL
2009
Springer
14 years 4 months ago
A logic of games and propositional control
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
Nicolas Troquard, Wiebe van der Hoek, Michael Wool...
FLAIRS
2008
14 years 18 hour ago
Win, Lose, or Get Out the Way - Eliminating Unnecessary Evaluation in Game Search
In this paper we present our approach of improving the traditional alpha-beta search process for strategic board games by modifying the method in two ways: 1) forgoing the evaluat...
Hsiu-Chin Lin, Colleen van Lent