Project R-13805

Declarative methods in computer science (Research)

This Network aims to bring together researchers involved in computer science research that is either fundamental; orapplication-oriented but based on fundamental research; or both, using declarative, i.e., logic-based methods. The spectrum of researchtopics covered by this definition is quite broad, ranging from functional, logic, and constraint programming over various aspects ofartificial intelligence, including machine learning and knowledge representation and reasoning, to data mining, and various aspects ofdata science, including database research in the widest sense of the word (aiming at novel platforms and applications, such as the web).The communal theme, namely a foundational approach using logic-based methods, is the strongly unifying element of this Network

01 January 2023 - 31 December 2027