In discussion following my presentation to the ACL 2 seminar, Bob Boyer said "Shoenfield is the bible." And while talking with Elaine Rich before my Dean's Scholars lunch presentation, she strongly recommended Brachman's KR book. This brought John Udell's library lookup gizmo out of the someday pile for a try. Support for the libraries near me didn't work out of the box. It's reasonably clear ho ... Continue reading