News from the research group Knowledge-Based Systems of November 5, 2024

Best Paper Award for Nemo

Researchers from the Chair of Knowledge-Based Systems at the Institute of Theoretical Computer Science, TU Dresden, received the Best Paper Award in the "KR in the Wild" track at the prestigious conference KR 2024 in Hanoi, Vietnam. The authors Alex Ivliev, Lukas Gerlach, Simon Meusel, Jakob Steinberg, and Markus Krötzsch presented their paper "Nemo: Your Friendly and Versatile Rule Reasoning Toolkit".

The award-winning paper describes Nemo, a powerful toolkit for rule-based reasoning that emphasizes scalability, versatility, and ease of use. Nemo extends the popular rule and query language Datalog with numerous useful features such as aggregates, existential rules, and support for various data types. More information and a complete documentation can be found here. The development of Nemo is closely connected to the research projects CPEC, InnoSale, and SECAI.

The International Conference on Principles of Knowledge Representation and Reasoning (KR) is an important conference in the field of Artificial Intelligence. It focuses on the symbolic representation of knowledge that can be processed by computer systems, enabling intelligent systems to draw complex, yet humanly comprehensible, conclusions. This year, the "KR in the Wild" track was introduced for the first time, spotlighting the development of rule-based reasoning systems and their practical applications.

Congratulations to Alex, Lukas, Simon, Jakob, and Markus!