Sciweavers

5243 search results - page 4 / 1049
» Reasoning About Strategies
Sort
View
MST
2011
237views Hardware» more  MST 2011»
13 years 2 months ago
On the Complexity of Computing Winning Strategies for Finite Poset Games
This paper is concerned with the complexity of computing winning strategies for poset games. While it is reasonably clear that such strategies can be computed in PSPACE, we give a ...
Michael Soltys, Craig Wilson
EPIA
2005
Springer
14 years 27 days ago
Intentions and Strategies in Game-Like Scenarios
In this paper, we investigate the link between logics of games and “mentalistic” logics of rational agency, in which agents are characterized in terms of attitudes such as beli...
Wojciech Jamroga, Wiebe van der Hoek, Michael Wool...
ATAL
2005
Springer
14 years 27 days 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...
COSIT
1999
Springer
148views GIS» more  COSIT 1999»
13 years 11 months ago
Representation and Reasoning about Shapes: Cognitive and Computational Studies in Visual Reasoning in Design
Abstract. This paper describes some recent cognitively-based and computationally-based research on representing and reasoning about shapes. The cognitive studies are based on proto...
John S. Gero
MKM
2005
Springer
14 years 25 days ago
Impasse-Driven Reasoning in Proof Planning
Abstract. In a problem solving process, a step may not result in the expected progress or may not be applicable as expected. Hence, knowledge how to overcome and react to impasses ...
Andreas Meier, Erica Melis