Chitta Baral Organizing Committee. 2006 AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-013.php conf/aaaiss/2006-5 db/conf/aaaiss/aaaiss2006-5.html#Baral06