The University of Klagenfurt is the coordinator of SAELING. The project members from the University of Klagenfurt bring in extensive research and project experience on the design and application of Al methods. Their expertise on optimization methods for challenging practical applications covers symbolic Al paradigms such as Answer Set Programming, Boolean Satisfiability, Constraint Programming and Integer Linear Programming, as well as sub-symbolic Al approaches in Classification Methods, Genetic Algorithms and (Deep) Reinforcement Learning.