Search: onr:"swepub:oai:DiVA.org:liu-198769" >
PARIS: Planning Alg...
PARIS: Planning Algorithms for Reconfiguring Independent Sets
-
- Christen, Remo (author)
- University of Basel
-
- Eriksson, Salomé (author)
- University of Basel
-
- Katz, Michael (author)
- IBM T.J. Watson Research Center
-
show more...
-
- Muise, Christian (author)
- Queen’s University
-
- Petrov, Alice (author)
- Queen’s University
-
- Pommerening, Florian (author)
- University of Basel
-
- Seipp, Jendrik (author)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten
-
- Sievers, Silvan (author)
- University of Basel
-
- Speck, David, 1992- (author)
- Linköpings universitet,Artificiell intelligens och integrerade datorsystem,Tekniska fakulteten
-
show less...
-
University of Basel IBM TJ. Watson Research Center (creator_code:org_t)
- 2023
- 2023
- English.
-
In: Proceedings of the 26th European Conference on Artificial Intelligence (ECAI 2023). ; , s. 453-460
- Related links:
-
https://ebooks.iospr...
-
show more...
-
https://urn.kb.se/re...
-
https://doi.org/10.3...
-
show less...
Abstract
Subject headings
Close
- Combinatorial reconfiguration is the problem of transforming one solution of a combinatorial problem into another, where each transformation may only apply small changes to a solution and may not leave the solution space. An important example is the independent set reconfiguration (ISR) problem, where an independent set of a graph (a subset of its vertices without edges between them) has to be transformed into another by a sequence of transformations that can replace a vertex in the current subset such that the new subset is still an independent set. The 1st Combinatorial Reconfiguration Challenge (CoRe Challenge 2022) was a competition focused on the ISR problem. The PARIS team successfully participated with two solvers that model the ISR problem as a planning task and employ different planning techniques for solving it. In this work, we describe these models and solvers. For a fair comparison to competing ISR approaches, we re-run the entire competition under equal computational conditions. Besides showcasing the success of planning technology, we hope that this work will create a cross-fertilization of the two research fields.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Classical planning
- Automated planning
- Artificial Intelligence
- Combinatorial reconfiguration
- WASP
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database
- By the author/editor
-
Christen, Remo
-
Eriksson, Salomé
-
Katz, Michael
-
Muise, Christian
-
Petrov, Alice
-
Pommerening, Flo ...
-
show more...
-
Seipp, Jendrik
-
Sievers, Silvan
-
Speck, David, 19 ...
-
show less...
- About the subject
-
- NATURAL SCIENCES
-
NATURAL SCIENCES
-
and Computer and Inf ...
-
and Computer Science ...
- Articles in the publication
- Proceedings of t ...
- By the university
-
Linköping University