May 21, 2002 · Link · 2002 Catching the Dreams Pat Hayes on different approaches to logic for the Web.