KSL conducts research in the areas of knowledge representation and automated reasoning in the Artificial Intelligence Laboratory of the Department of Computer Science at Stanford University. Current w.

• 美国斯坦福大学人工智能实验室知识系统实验室。