Monday, August 4, 2014

8.30 - 9.00Registration and coffee
9.00 - 9.15Workshop opening
9.15 - 9.45P. van Emde Boas.
Theory of mind reasoning in ancient China
9.45 - 10.15H. de Weerd, R. Verbrugge and B. Verheij.
The effectiveness of higher-order theory of mind in negotiations
10.15 - 10.45M. Madsen.
An introduction to multi-agent statistics
10.45 - 11.15Coffee break
11.15 - 12.15Keynote talk: E.H.M. Sterck.
Primate social cognition: Constructing the evolution of theory of mind
12.15 - 13.45Lunch break
13.45 - 14.45Keynote talk: E.M. van der Meer.
Knowing me, knowing you. The emotional self in schizophrenia
14.45 - 15.15B. Arslan, R. Verbrugge, N. Taatgen and B. Hollebrandse.
Teaching children to attribute second-order false belief: A training study
15.15 - 15.45S. Wierda and B. Arslan.
Modeling theory of mind in ACTransfer
15.45 - 16.15Coffee break
16.15 - 16.45A. Perea and E. Tsakas.
Local reasoning in dynamic games
16.45 - 17.15C. Nauerz.
Understanding reasoning using utility proportional beliefs
17.15 - 17:45E. Pacuit.
Varieties of strategic reasoning in games

Tuesday, August 5, 2014 (AiML)

9.00 - 10.00Keynote talk: J. Halpern.
Reasoning about knowledge of awareness revisited
10.00 - 10.40Coffee break
10.40 - 11.05S.L. Uckelman.
Reasoning about obligations in obligationes: A formal approach
11.05 - 11.30Y. Wang and J. Fan.
Conditionally knowing what
11.30 - 11.55J. van Eijck and F. Schwarzentruber.
Epistemic probability logic simplified
11.55 - 12.20I. Ciardelli.
Modalities in the realm of questions: Axiomatizing inquisitive epistemic logic
12.20 - 13.50Lunch break (last part of the AiML program freely accessible for RAOM attendees)