Formal Models of Agency

An Adversarial Environment Model for Bounded Rational Agents in Zero-Sum Interactions
Inon Zuckerman, Sarit Kraus, Jeffrey Rosenschein and Gal Kaminka

Incentive Compatible Ranking Systems
Alon Altman and Moshe Tennenholtz

Reasoning about Judgment and Preference Aggregation
Thomas �gotnes, Wiebe van der Hoek and Michael Wooldridge

Programming and Simulation of Quantum Search Agents
Matthias Klusch and René Schubotz

A Quantified Epistemic Logic for Reasoning about Multi-Agent Systems
Francesco Belardinelli and Alessio Lomuscio

A Framework for Reasoning about Rational Agents
Wojciech Jamroga and Nils Bulling