www-ksl.stanford.edu

     
Conducts research in the core Artificial Intelligence areas of knowledge representation and reasoning. Features software and network services, technical reports, projects and contact information.