Executability in the Situation Calculus. - Timothy Joseph Cerexhe; Maurice Pagnucco (Australasian Conference on Artificial Intelligence, 2011)

HyperPlay: A Solution to General Game Playing with Imperfect Information. - Michael John Schofield; Timothy Joseph Cerexhe; Michael Thielscher (AAAI, 2012)

Evaluating Answer Set Clause Learning for General Game Playing. - Timothy Joseph Cerexhe; Orkunt Sabuncu; Michael Thielscher (LPNMR, 2013)

A Systematic Solution to the (De-)Composition Problem in General Game Playing. - Timothy Joseph Cerexhe; David Rajaratnam; Abdallah Saffidine; Michael Thielscher (ECAI, 2014)

Online Agent Logic Programming with oClingo. - Timothy Joseph Cerexhe; Martin Gebser; Michael Thielscher (PRICAI, 2014)

Exploiting latent structure in artificial intelligence languages. - Timothy Joseph Cerexhe (2017)