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 agent-based modelling, AI systems with general intelligence, cognitive robotics, constraint programming, game theory, logic and explainability in AI, neuro-symbolic learning, and theory and engineering of knowledge.
