Towards High-Level Programming for Distributed Problem Solving. - Ryan F. Kelly; Adrian R. Pearce (IAT, 2006)

Knowledge and observations in the situation calculus. - Ryan F. Kelly; Adrian R. Pearce (AAMAS, 2007)

Complex Epistemic Modalities in the Situation Calculus. - Ryan F. Kelly; Adrian R. Pearce (KR, 2008)

Asynchronous multi-agent reasoning in the situation calculus. - Ryan F. Kelly (2008)

Property persistence in the situation calculus. - Ryan F. Kelly; Adrian R. Pearce (Artif. Intell., 2010)

Asynchronous knowledge with hidden actions in the situation calculus. - Ryan F. Kelly; Adrian R. Pearce (Artif. Intell., 2015)