Volume 61, Number 1, January 2011 Special Issue:
Essays on Mathematics and AI - Personal Perspectives:
Past, Present and Future 20th Anniversary of the Annals of Mathematics and Artificial Intelligence
: Automated theorem provers: a practical tool for the working mathematician?
: The algorithmization of counterfactuals.
Volume 61, Number 2, February 2011
Volume 61, Number 3, March 2011 Artificial Intelligence and Mathematics XXXII
Volume 61, Number 4, April 2011 The Multi-Agent Programming Contest:
Environment Interface and Contestants in 2010