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