The Knowledge Systems group at the LAIR is concerned with making computers smart by giving them knowledge about the world and methods of using knowledge to solve problems. Thus knowledge representation and problem solving are two key themes in the group's work. The strategy adoped by the Knowledge Systems group is to focus on complex real-world tasks. Cognitive architectures, and abstract principles of knowledge-based reasoning and problem solving are considered and utilized.