A fundamental assumption in Knowledge Representation and Reasoning is that an agent's knowledge is explicitly represented in a declarative form, suitable for processing by dedicated reasoning engines. The assumption that much of what an agent deals with is knowledge-based, is common in many modern intelligent systems. Our main strengths are in cognitive robotics, reasoning about actions and change, AI systems with general intelligence, and computer game playing.
