Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Dave Pfliegler

dblp:386/7379 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
1since 2021 · last 2024
0009-0005-5378-5993ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 1 · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science
1 paper
Mathematical optimization · 60% Logic in computer science · 40%
Artificial intelligence
1 paper
Planning, search and constraint satisfaction · 100%

Topics — the 6 heaviest of 6, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Logic in computer science › logic programming
answer set programming
0.812024
Adaptive large-neighbourhood search for optimisation in answer-set programming · Artif. Intell. 2024
Mathematical optimization › metaheuristic optimization
large neighborhood search
0.812024
Adaptive large-neighbourhood search for optimisation in answer-set programming · Artif. Intell. 2024
Logic in computer science
logic programming
0.812024
Adaptive large-neighbourhood search for optimisation in answer-set programming · Artif. Intell. 2024
Mathematical optimization
metaheuristic optimization
0.812024
Adaptive large-neighbourhood search for optimisation in answer-set programming · Artif. Intell. 2024
Mathematical optimization
optimization
0.812024
Adaptive large-neighbourhood search for optimisation in answer-set programming · Artif. Intell. 2024
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
scheduling
0.212024
Adaptive large-neighbourhood search for optimisation in answer-set programming · Artif. Intell. 2024

Methods — techniques the papers use, named apart from their topics

multi-shot solving · 1.5large neighborhood search · 1.5adaptive portfolios · 1.5
YearPublicationVenuePosition
2024 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 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 as part of the ASP encoding or automatically generated by code. Furthermore, our framework is self-adaptive, i.e., it also incorporates portfolios for the LNS operators along with selection strategies to adjust search parameters on the fly. The implementation of our framework, the system ALASPO, currently supports the ASP solver clingo, as well as its extensions clingo-dl and clingcon that allow for difference and full integer constraints, respectively. It utilises multi-shot solving to efficiently realise the LNS loop and in this way avoids program regrounding. We describe our LNS framework for ASP as well as its implementation, discuss methodological aspects, and demonstrate the effectiveness of the adaptive LNS approach for ASP on different optimisation benchmarks, some of which are notoriously difficult, as well as real-world applications for shift planning, configuration of railway-safety systems, parallel machine scheduling, and test laboratory scheduling.
Thomas Eiter, Tobias Geibinger, Nelson Higuera, Nysret Musliu, Johannes Oetsch, Dave Pfliegler, Daria Stepanova 0001
Artif. Intell.6