Formal Epistemology Workshop, Carnegie Mellon University, May 31 – June 3, 2007. The Reasoner, v. 1, n. 3, 1 Jul.2007.