Declarative methods in computer science Hasselt University
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 ...