Applied Computational Game Theory

The titles of the eight symposia were Applied Computational Game Theory, Big Data Becomes Personal: Knowledge into Meaning, Formal Verification and Modeling in Human-Machine Systems, Implementing Selves with Safe Motivational Systems and Self-Improvement, The Intersection of Robust Intelligence and Trust in Autonomous Systems, Knowledge Representation and Reasoning in Robotics, Qualitative Representations for Robots, and Social Hacking and Cognitive Security on the Internet and New Media). This report contains summaries of the symposia, written, in most cases, by the cochairs of the symposium. Game theory's popularity continues to increase in a variety of disciplines such as economics, biology, political science, computer science, electrical engineering, business, law, public policy, and many others. The focus of this symposium was to bring together the community working on applied computational game theory motivated by any of these domains. This symposium, while not limited to the ideas discussed there, built on the AAAI Spring Symposium 2012 on Game Theory for Security, Sustainability, and Health.