Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering
March 27-29 2006