\documentclass{report}
%\documentclass{llncs}
\usepackage[]{pdfpages}

\title{Proceedings of the Workshop \\``Reasoning About Other Minds: \\Logical and Cognitive Perspectives" \\
{\small Groningen, Monday July 11th, 2011}}

\author{edited by Jan van Eijck and Rineke Verbrugge}
%\institute{ }

\date{\small Copyright \copyright\ 2011 for the individual papers by the papers' authors. \\ Copying permitted only for private and academic purposes. This volume is published and copyrighted by its editors.} 

\begin{document}

\maketitle

\section*{The workshop theme}

\noindent
In recent years, the human ability to {\em reasoning about mental
  states of others} in order to explain and predict their behavior has
come to be a highly active area of research. Researchers from a wide
range of fields -- from biology and psychology through linguistics to
game theory and logic-- contribute new ideas and results. \\

\noindent
This interdisciplinary workshop, collocated with the Thirteenth
International Conference on Theoretical Aspects of Rationality and
Knowledge (TARK XIII), aims to shed light on models of social
reasoning that take into account realistic resource bounds. People
reason about other people's mental states in order to understand and
predict the others' behavior. This capability to reason about others'
knowledge, beliefs and intentions is often referred to as {\em theory
  of mind}. \\

\noindent
Idealized rational agents are capable of recursion in their social
reasoning, and can reason about phenomena like common knowledge. Such
idealized social reasoning has been modeled by modal logics such as
epistemic logic and BDI (belief, desire, intention) logics and by
epistemic game theory. However, in real-world situations, many people
seem to lose track of such recursive social reasoning after only a few
levels. The workshop provides a forum for researchers that attempt to
analyze, understand and model how resource-bounded agents reason about
other minds. \\

\noindent
Topics of interest of the workshop include but are not limited to the
following:
\begin{itemize}
    \item Logics modeling human social cognition;
    \item Computational cognitive models of theory of mind;
\item Behavioral game theory;
    \item Bounded rationality in epistemic game theory;
    \item Relations between language and social cognition;
    \item Models of the evolution of theory of mind;
    \item Models of the development of theory of mind in children;
    \item Bounded rationality in multi-agent systems;
    \item Formal models of team reasoning;
    \item Theory of mind in specific groups, e.g., autism spectrum disorder;
    \item Complexity measures for reasoning about other minds.
    \end{itemize}
    
    \section*{Invited talks at the workshop}
In addition to the contributed lectures and poster presentations, of
which the articles are gathered in this volume, the workshop also
presents three invited speakers:
\begin{itemize}
\item Petra Hendriks (University of Groningen): Bounded reasoning
  about others in language: Evidence from language acquisition;
\item Barbara Dunin-K\c{e}plicz (Warsaw University and Polish Academy
  of Sciences): Calibrating the expressiveness of collective notions;
\item Chris Baker (Massachusetts Institute of Technology): Modeling
  human reasoning about beliefs, desires, goals and social relations.
\end{itemize}



%\newpage
\section*{Acknowledgments}

\noindent
We would like to thank all the people who helped to bring about the
workshop {\em Reasoning About Other Minds: Logical and Cognitive
  Perspectives}. First of all, we thank all invited speakers,
contributed speakers and poster presenters for ensuring a diverse and
interesting workshop. \\

\noindent
Special thanks are due to the members of the program committee for
their professionalism and their dedication to select papers of quality
and to provide authors with useful, constructive feedback during the
in-depth reviewing process:\vspace{-0.2cm}

\subsection*{Program committee}
%\begin{tabular}{ll}
\begin{itemize}
    \item Johan van Benthem (University of Amsterdam and Stanford University)
    \item Robin Clark (University of Pennsylvania)
    \item Hans van Ditmarsch (University of Sevilla)
    \item Peter G\"ardenfors (Lund University)
    \item Sujata Ghosh (University of Groningen)
    \item Noah Goodman (Stanford University)
    \item Bart Hollebrandse (University of Groningen)
    \item Eric Pacuit (Tilburg University and University of Maryland)
    \item Rohit Parikh (City University of New York)
    \item Jun Zhang (University of Michigan)
   \end{itemize}
%\end{tabular}

\noindent
In addition, a number of experts outside the program committee also
reviewed submissions to the workshop, for which we are very
grateful. Thank you Krysztof Apt, Boicho Kokinov, Barteld Kooi, Katja
Mehlhorn, Ben Meijering, Olivier Roy, Sunil Simon, and Jakub Szymanik!
\vspace{\baselineskip}

\noindent
We would like to thank our colleagues in the TARK Organizing Committee
for handling many organizational tasks: Virginie Fiutek, Sujata Ghosh,
Barteld Kooi, Ben Meijering, Bryan Renne, Ben Rodenh\"{a}user, Olivier
Roy, Sonja Smets, Allard Tamminga, and Bart Verheij.  The workshop
website would not exist without the great help of Ben Meijering and
Sujata Ghosh in Groningen.\\

\noindent
Finally, we would like to express our gratitude to NWO for largely
financing this workshop through Vici grant NWO 227-80-00, {\em
  Cognitive Systems in Interaction: Logical and Computational Models
  of Higher-Order Social Cognition}. We also acknowledge the other
TARK sponsors for their financial support: the University of
Groningen, CWI, KNAW, NWO, Springer, Gemeente Groningen, Provincie
Groningen, and the Dutch Association for Logic (VvL).

\vspace{\baselineskip}

\begin{tabular}{ll}
Amsterdam	 & \hspace{1.7cm} Jan van Eijck \\
Groningen & \hspace{1.7cm} Rineke Verbrugge \\
& \\
July 2011
\end{tabular}

\clearpage

\section*{Table of contents}

\begin{itemize} 

\item 
Krzysztof Apt and Floor Sietsma, 
{\em Common Knowledge in Email Exchanges} \hfill 5

\item 
Tarek Richard Besold, Helmar Gust, Ulf Krumnack, Ahmed Abdel-Fattah, 
Martin Schmidt and Kai-Uwe K\"uhnberger, 
{\em An Argument for an Analogical Perspective on Rationality \&\ 
Decision-Making} \hfill 20

\item Leon de Bruin and Albert Newen, 
{\em The Developmental Paradox of False Belief Understanding: 
a Dual-System Approach} \hfill 32

\item C\'edric D\'egremont, Lena Kurzen and Jakub Szymanik, 
{\em On the Tractability of Comparing Informational Structures}
\hfill 50

\item Hans van Ditmarsch, {\em The Ditmarsch Tale of Wonders
  --- Dynamics of Lying}
\hfill 65 

\item Sujata Ghosh and Ben Meijering, {\em On Combining Cognitive and
  Formal Modeling: a Case Study Involving Strategic Reasoning}
\hfill 79

\item 
Bart Hollebrandse, Angeliek Van Hout and Petra Hendriks, {\em
First and Second-Order False-Belief Reasoning: Does Language Support Reasoning About the Beliefs of Others?}
\hfill 93

\item Eric Pacuit and Olivier Roy, 
{\em A Dynamic Analysis of Interactive Rationality}
\hfill 108 

\item Rohit Parikh, Cagil Tasdemir and Andreas Witzel, 
{\em The Power of Knowledge in Games} 
\hfill 122 

\item Maartje Raijmakers, Sara van Es and Marian Counihan, 
{\em Children's Strategy Use in Playing Strategic Games}
\hfill 137

\item Harmen de Weerd and Bart Verheij, {\em The Advantage of
  Higher-Order Theory of Mind in the Game of Limited Bidding}
\hfill 149


\end{itemize}

%Apt 6

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_6.pdf}

%Besold 5


\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_5.pdf}


%de Bruyn 4

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_4.pdf}

% Degremont 11
\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_11.pdf}

% van Ditmarsch 1 

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_1.pdf}

% Gosh 13

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_13.pdf}

% Hollebrandse 2 

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_2.pdf}

% Pacuit 8

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_8.pdf}

% Parikh 3

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_3.pdf}

% Raijmakers 12

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_12.pdf}

% De Weerd 7 

\includepdf[pages=-,pagecommand={\thispagestyle{plain}}%
]{reasoningminds2011_submission_7.pdf}

\end{document}

