AAAI Spring Symposium 2006 - Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering: Stanford University, CA, USA

Regular Papers

Short Papers

a service of Schloss Dagstuhl - Leibniz Center for Informatics