Reasoning about strategies

F Mogavero - … : A Study on Extensions of Temporal and Strategic …, 2013 - Springer
… quantifications over strategies and … strategic aspects of multi-agent systems. In this work,
we introduce and study a more general strategy logic, denoted Sl, for reasoning about strategies

Reasoning about strategies: On the model-checking problem

F Mogavero, A Murano, G Perelli… - ACM Transactions on …, 2014 - dl.acm.org
… does not fully capture the strategic aspects of multiagent systems. … strategy logic, denoted
SL, for reasoning about strategies in multiagent concurrent games. As a key aspect, strategies

Strategies and tactics in reasoning

PN Johnson-Laird, F Savary… - … reasoning and strategies, 1999 - taylorfrancis.com
… , reasoning tactics probably depend on the manipulation of mental models, but reasoning
strategies … It begins with a brief account of how psychologists have thought about strategies in …

What could and could not be a strategy in reasoning

JSBT Evans - Deductive reasoning and strategies, 1999 - taylorfrancis.com
… by the term strategy when we talk of people employing strategies in reasoning, problem solving,
… We examine this distinction before proceeding to consider reasoning strategies as such. …

[图书][B] Deductive reasoning and strategies

W Schaeken, G De Vooght, G d'Ydewalle - 1999 - books.google.com
… Individual differences in deductive reasoning strategies Sentence-picture verification
Categorical syllogisms Linear syllogisms and relational reasoning Conditional reasoning and the …

Learning strategies and reasoning skills of university students

A Aizpurua, I Lizaso, I Iturbe - Revista de Psicodidáctica (English ed.), 2018 - Elsevier
… to reasoning and creative thinking. A further objective was to determine the strategic profile
of … The skills examined in this study are scientific reasoning, fluid reasoning, and creative …

A logic for strategic reasoning

W Van Der Hoek, W Jamroga… - Proceedings of the fourth …, 2005 - dl.acm.org
… in particular, how the agent's choice of strategy will affect the choices of others. We … reasoning.
CATL is an extension of Alternating-time Temporal Logic (ATL), which supports reasoning

Effects of explaining the reasoning associated with using reading strategies

GG Duffy, LR Roehler, E Sivan, G Rackliffe… - Reading Research …, 1987 - JSTOR
LITTLE RESEARCH has been conducted on the effects of directly explaining the mental
acts associated with strategic reading. The experiment reported here was designed to study …

Reasoning strategies

RMJ Byrne, SJ Handley - The Irish Journal of Psychology, 1992 - Taylor & Francis
… of reasoning, and we will outline both the basic processes that underlie human deductions,
and the higher-level strategies that … of higher-level control strategies in reasoning, and we will …

Educational strategies for improving clinical reasoning

WB Cutrer, WM Sullivan, AE Fleming - Current problems in pediatric and …, 2013 - Elsevier
reasoning is breaking down. Experimentation with different strategies for improving clinical
reasoning … In this chapter, various strategies for improving reasoning related to knowledge …