Research Talk by Prof. Dr. Eiter

On June 21, 2024, from 4:00 PM to 5:00 PM, Prof. Dr. Thomas Eiter, head of the Institute of Logic and Computation and the Knowledge-Based Systems Group at TU Wien, will give an English-language research talk. Prof. Dr. Eiter is a Fellow of the ACM, the European AI Association (EurAI), and the Asia-Pacific AI Association (AAIA). Additionally, he is a member of the Austrian Academy of Sciences and the Academia Europaea in London.

The research talk will be dedicated to the topic “Adaptive Large-Neighbourhood Search for Optimisation in Answer-Set Programming.”

Abstract:

Answer-Set Programming (ASP) is a prominent approach to declarative problem solving that is increasingly used to tackle challenging optimization problems. We present an approach to leverage ASP optimization 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, neighborhoods 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 optimization 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 parties are warmly invited to attend!

In case you cannot make it in presence, you can also join via Zoom.
Meeting-ID: 623 1363 5634 | Kenncode: 316950