Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003

TARK 2003 is the 9th conference on theoretical aspects of rationality and knowledge. In its early days TARK explored formal models of knowledge and belief as they arise in disciplines such as computer science, economics, philosophy, and psychology. The recent years however have been very fruitful in establishing further connections between these disciplines. This includes work on resource-bounded reasoning, the design and analysis of protocols and algorithms for non-cooperative environments, computational approaches to game-theoretic problems, nonprobabilistic representations of uncertainty, and causality, among many other areas.The program of TARK 2003 shows the breadth and depth of these connections. In these proceedings the reader will find papers that deal with rationality and knowledge, bridging and combining perspectives taken from computer science, economics, philosophy, linguistics, psychology, and biology. The reader will also find novel approaches to dealing with basic problems in the design and analysis of social and computational mechanisms.In order to develop such a diverse program, the papers were selected after very Careful evaluation by a multi-disciplinaxy program committee consisting of Geir Asheim (Economics, Oslo), Maya Bar Hillel (Psydhology, Hebrew University), Cristina Bicchieri (Decision Sciences and Philosophy, CMU), Craig Boutilier (AI, Toronto), Yossi Feinberg (Economics, Stanford), Daniel Lehmann (Computer Science, ttebrew University), Stephen Morris (Economics, Yale), Motty Perry (Economics, Hebrew Universiity), Avi Pfeffer (AI, Harvard), Ilya Segal (Economics, Stanford), Jeremy Seligman (Philosophy, Auckland ), Brian Skyrms (Philosophy and Economics, Irvine), Moshe Tennenholtz (PC Chair, AI, Technion), Moshe Vardi (Computer Science, Rice), and Frank Veltman (Philosophy, Amsterdam).Important ingredients in the TARK conferences have been the opportunity for informal interactions, and the invited talks and tutorials. In TARK 2003 we are fortunate to have four outstanding invited speakers-- Steven Brams (NYU), Michael Kearns, (University of Pennsylvania), Dov Monderer (Technion), and Wolfgang Spohn (University of Konstanz). This year TARK is being coordinated with NASSLLI (the North American Summer School in Logic, Language and Information), and shares with NASSLLI two tutorials: Algorithmic verification for epistemic logic, by Ron von der Meyden, and Games in informational form, by Dov Monderer.