Knowledge Systems Laboratory
Knowledge Systems Laboratory (KSL) is an artificial intelligence research laboratory within the Department of Computer Science at Stanford University, located at the Gates Computer Science Building, Stanford. Current work focuses on knowledge representation for shareable engineering knowledge bases and systems, computational environments for modelling physical devices, architectures for adaptive intelligent systems, and expert systems for science and engineering. The KSL has projects with Stanford Medical Informatics (SMI), the Stanford Artificial Intelligence Lab (SAIL), the Stanford Formal Reasoning Group (SFRG), the Stanford Logic Group, and the Stanford Center for Design Research (CDR).