- Martin Charles Golumbic. Forward. Annals of Mathematics and Artificial Intelligence, 61(1):1-2, 2011.
- Judea Pearl. The algorithmization of counterfactuals. Annals of Mathematics and Artificial Intelligence, 61(1):29-39, 2011.
- Alan Bundy. Automated theorem provers: a practical tool for the working mathematician?. Annals of Mathematics and Artificial Intelligence, 61(1):3-14, 2011.
- Michael M. Richter, Sebastian von Mammen. Remarks on the future of AI: machines and communication. Annals of Mathematics and Artificial Intelligence, 61(1):41-46, 2011.
- Enrique Miranda, Marco Zaffalon. Notes on desirability and conditional lower previsions. Annals of Mathematics and Artificial Intelligence, 60(3-4):251-309, 2010.
- Axel Heßler, Benjamin Hirsch, Tobias Küster. Herding cows with JIAC V. Annals of Mathematics and Artificial Intelligence, 59(3-4):335-349, 2010.
- Yilan Gu, Mikhail Soutchanski. A description logic based situation calculus. Annals of Mathematics and Artificial Intelligence, 58(1-2):3-83, 2010.
- Radim Belohlávek, Sergei O. Kuznetsov. Preface to special issue on concept lattice and their applications 2008. Annals of Mathematics and Artificial Intelligence, 59(2):149-150, 2010.
- Zhe Wang, Kewen Wang, Rodney W. Topor, Jeff Z. Pan. Forgetting for knowledge bases in DL-Lite. Annals of Mathematics and Artificial Intelligence, 58(1-2):117-151, 2010.
- Jomi Fred Hübner, Rafael H. Bordini. Using agent- and organisation-oriented programming to develop a team of agents for a competitive game. Annals of Mathematics and Artificial Intelligence, 59(3-4):351-372, 2010.