Members: Diego Calvanese, Enrico Franconi, Marco Montali, Werner Nutt, Alessandro Artale, Fabrizio Maria Maggi, Sergio Tessaris, Francesco Corcoglioniti, Julien Corman, Tiziano Dalmonte, Ivan Donadello, Mattia Fumagalli, Nicola Gigante, Oliver Kutz, Davide Lanti, Andrea Mazzullo, Ognien Savkovic, Sarah Winkler
KRDB studies foundational and applied techniques grounded in artificial intelligence, logics, and formal methods, to design, analyse, enact, and maintain intelligent information systems that combine data, information, knowledge, time, and processes. KRDB aims at confirming itself as a leading research group in knowledge-based AI research, education, and industry relations. KRDB is a green member of the Confederation of Laboratories for Artificial Intelligence Research in Europe (CLAIRE). The research topics in which KRDB is active are classified into four main parts: