The Declarative Languages and Artificial Intelligence (DTAI) Section of the Department of Computer Science of the KU Leuven is one of the leading research groups for artificial intelligence, machine learning and data science.

It is internationally renowned for its pioneering work on the integration of learning and reasoning, in domains such as statistical relational and neural-symbolic AI, probabilistic and inductive programming, logical and relational learning and their applications. In addition to fundamental research, the DTAI group applies the developed techniques to concrete cases situated in data science, sensors, sports analytics, combinatorial optimisation, robot manipulation and navigation, natural language processing, smart electronics, computer vision, etc. For these applications, DTAI often cooperates with other groups and companies from strategically chosen research areas.