Progic 2007: the Third Workshop on Combining Probability and Logic, University of Kent, Canterbury, 5–7 September 2007. The Reasoner, v. 1, n. 6, 1 Oct.2007.