TARK 2015
Fifteenth conference on
Theoretical Aspects of Rationality and Knowledge
Programme
Venue: Steinberg Auditorium, A53 Baker Hall, Carnegie Mellon University.
Thursday June 4, 2015 | ||
| 8.00 | Registration | |
| 8:50 | Welcome Kevin Kelly, R. Ramanujam | |
| 9:00 | Invited Talk Marciano Siniscalchi Rationality and Beliefs in Dynamic Games: Revealed-Preference Foundations | |
| 10:00 |
Contributed Talk:
Harvey Lederman and Peter Fritz
Standard State Space Models of Unawareness | |
| 10:30 | Tea/Coffee Break | |
| 11:00 |
Contributed Talks:
Adam Brandenburger, Alex Danieli and Amanda Friedenberg How Many Levels Do Players Reason? Observational Challenges and a Solution Sujata Ghosh, Aviad Heifetz and Rineke Verbrugge Do players reason by forward induction in dynamic perfect information games ? Aleks Knoks and Eric Pacuit Deliberating between Backward and Forward Induction Reasoning: First Steps | |
| 12:30 | Lunch | |
| 14:00 | Invited Talk Sarit Kraus Human Agent Decision Making: Combining theory and practice | |
| 15:00 | Tea/Coffee Break | |
| 15:30 |
Contributed Talks:
Valerio Capraro and Joseph Y. Halpern Translucent Players: Explaining Cooperative Behavior in Social Dilemmas Krzysztof Apt, Sunil Simon and Dominik Wojtczak Coordination Games on Directed Graphs Alexandru Baltag, Nina Gierasimczuk and Sonja Smets On the Solvability of Inductive Problems: a study in epistemic topology | |
| 17:00 | Closing of the 1st Day | |
Friday June 5, 2015 | ||
| 9:00 | Invited Talk Robin Clark Quine's Topiary: Coordination and Change in an Artificial Society | |
| 10:00 |
Contributed Talk:
Omer Lev, Moshe Tennenholtz and Aviv Zohar
An Axiomatic Approach to Routing | |
| 10:30 | Tea/Coffee Break | |
| 11:00 |
Contributed Talks:
Krzysztof Apt, Davide Grossi and Wiebe van der Hoek
Epistemic Protocols for Distributed Gossiping Quan Yu, Yanjun Li and Yanjing Wang A Dynamic Epistemic Framework for Conformant Planning Ron Van Der Meyden and Manas Patra Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic | |
| 12:30 | Lunch | |
| 14:00 |
Contributed Talks:
Michael Mandler The optimality of coarse categories in decision-making and information storage Kun Zhang, Jiji Zhang and Bernhard Schölkopf Distinguishing Cause from Effect Based on Exogeneity Kathleen Ngangoue and Georg Weizsaecker Learning from unrealized versus realized prices | |
| 15:30 | Tea/Coffee Break | |
| 15:45 |
Discussion at the Poster Boards
Thomas Agotnes and Yì N. Wáng Resolving Distributed Knowledge Adam Bjorndahl, Joseph Halpern and Rafael Pass Bayesian games with intentions Zack Fitzsimmons Single-Peaked Consistency for Weak Orders Is Easy Konstantin Genin Theory Choice, Theory Change, and Inductive Truth-Conduciveness Chanjuan Liu Preference at First Sight Yoram Moses Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle Andres Perea When do types induce the same belief hierarchy Evan Piermont and Peio Zuazo-Garin Rationalization and Robustness in Dynamic Games with Incomplete Information Iris van de Pol, Jakub Szymanik and Iris van Rooij Parameterized Complexity Results for a Model of Theory of Mind based on Dynamic Epistemic Logic | |
| 17:15 | TARK Business Meeting | |
| 19:00 |
Conference Dinner | |
Saturday June 6, 2015 | ||
| 9:00 | Invited Talk Simon Huttegger The Problem of Analogical Inference in Inductive Logic | |
| 10:00 |
Contributed Talk
Hans van Ditmarsch, Sophia Knight and Aybüke Ozgün
Announcement as effort on topological spaces | |
| 10:30 | Tea/Coffee Break | |
| 11:00 | Invited Tutorial Peter Spirtes and Kun Zhang Recent Methodological Advances in Causal Discovery and Inference | |
| 12:30 | Lunch | |
| 14:00 |
Contributed Talks:
Patrick Ocallaghan Continuous context dependence Patrick Girard and Marcus Triplett Ceteris paribus logic in counterfactual reasoning Russell Golman and George Loewenstein An Information-Gap Framework for Capturing Preferences About Uncertainty | |
| 15:30 | Tea/Coffee Break | |
| 16:00 | Rump Session | |
| 17:00 | Closing of the Conference | |