We cordially invite you to the colloquium of Prof. Dr. Thomas Eiter!
On June 21, 2024, from 4:00 to 5:00 p.m., Prof. Dr. Thomas Eiter, Head of the Institute of Logic and Computing and the Knowledge-Based Systems Group at TU Wien, will give a research talk in English. Prof Dr Eiter is a Fellow of the ACM, the European AI Association (EurAI) and the Asia-Pacific AI Association (AAIA). He is also a member of the Austrian Academy of Sciences and the Academia Europaea in London.
The research talk is dedicated to the topic Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming“.
Abstract:
Answer-Set Programming (ASP) is a prominent approach to declarativeproblem solving that is increasingly used to tackle challenging optimisation problems. We present an approach to leverage ASP optimisation by using large-neighbourhood search (LNS), which is a meta-heuristic where parts of a solution are iteratively destroyed and reconstructed in an attempt to improve an overall objective. In our LNS framework, neighbourhoods can be specified either declaratively or automatically generated by code. Furthermore, the framework is self-adaptive, i.e., it also incorporates portfolios for LNS operators along with selection strategies to adjust search parameters on the fly. We address the implementation of the framework, the system ALASPO, and discuss the effectiveness of the adaptive LNS approach for ASP on different optimisation benchmarks, among them problems from planning, scheduling, and configuration. This is joint work of TU Wien and Bosch AI Labs.
The event is free of charge. Interested individuals are warmly invited to attend!