Default Logic: Orderings and Extensions. - Mike Hopkins (ECSQARU, 1993)

Team CHARLI: RoboCup 2012 Humanoid AdultSize League Winner. - Coleman Knabe; Mike Hopkins; Dennis W. Hong (RoboCup, 2012)