126 search results - page 6 / 26 » A Logic for Reasoning About Game Strategies |
144
Voted
AGP
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper discusses some innovative aspects related to the integration of a framework based on Answer Set Programming in an Information Retrieval Agent, namely, the Global Search A...
84
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...
125
Voted
AIA
2006
15 years 1 months ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...
AAAI
2010
15 years 1 months ago
2010
A General Game Player is a system that can play previously unknown games given nothing but their rules. The Game Description Language (GDL) has been developed as a highlevel knowl...
107
Voted
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
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...