Progic 2007: the Third Workshop on Combining Probability and Logic, University of Kent, Canterbury, 5–7 September 2007 (The Reasoner, 2007)