R Ramanujam
June 4-6, 2015
Carnegie Mellon University
Pittsburgh, USA
Invited Presentation:
The Problem of Analogical Inference in Inductive Logic
Simon M. Huttegger
Invited Presentation:
Human-Agent Decision-making: Combining Theory and Practice
Sarit Kraus
Resolving Distributed Knowledge
Thomas Ågotnes and Yì N. Wáng
Epistemic Protocols for Distributed Gossiping
Krzysztof R. Apt, Davide Grossi and Wiebe van der Hoek
Coordination Games on Directed Graphs
Krzysztof R. Apt, Sunil Simon and Dominik Wojtczak
On the Solvability of Inductive Problems: A Study in Epistemic Topology
Alexandru Baltag, Nina Gierasimczuk and Sonja Smets
Bayesian Games with Intentions
Adam Bjorndahl, Joseph Y. Halpern and Rafael Pass
Translucent Players: Explaining Cooperative Behavior in Social Dilemmas
Valerio Capraro and Joseph Y. Halpern
Single-Peaked Consistency for Weak Orders Is Easy
Zack Fitzsimmons
Standard State Space Models of Unawareness (Extended Abstract)
Peter Fritz and Harvey Lederman
Do players reason by forward induction in dynamic perfect information games?
Sujata Ghosh, Aviad Heifetz and Rineke Verbrugge
Ceteris paribus logic in counterfactual reasoning
Patrick Girard and Marcus Anthony Triplett
An Axiomatic Approach to Routing
Omer Lev, Moshe Tennenholtz and Aviv Zohar
Preference at First Sight
Chanjuan Liu
The optimality of coarse categories in decision-making and information storage
Michael Mandler
Relating Knowledge and Coordinated Action: The Knowledge of Preconditions Principle
Yoram Moses
Parameterized Complexity Results for a Model of Theory of Mind Based on Dynamic Epistemic Logic
Iris van de Pol, Iris van Rooij and Jakub Szymanik
Undecidable Cases of Model Checking Probabilistic Temporal-Epistemic Logic (Extended Abstract)
R van der Meyden and M K Patra
Announcement as effort on topological spaces
Hans van Ditmarsch, Sophia Knight and Aybüke Özgün
A Dynamic Epistemic Framework for Conformant Planning
Quan Yu, Yanjun Li and Yanjing Wang