Knowledge Base Systems

The Role of Counting in Probabilistic Reasoning

Do you know how to model count? We provide an introduction to model counting: what is it, why is it so important (hint: state-of-the-art probabilistic reasoning!), and what is the relation with knowledge compilation.

User-Centric Logic-Based AI

An organisation’s greatest asset are often its employees, who posses a huge amount of knowledge and expertise about products and processes. We build AI systems that use this knowledge to help people make better and more efficient decisions.