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