<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>25th International Workshop on Configuration</article-title>
      </title-group>
      <pub-date>
        <year>2023</year>
      </pub-date>
      <fpage>6</fpage>
      <lpage>7</lpage>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Proceedings
© 2023 for the individual papers by the papers’ authors. Copying permitted for private and
academic purposes. Re-publication of material from this volume requires permission by the
copyright owners.
We thank the authors for their submissions, the program committee for their hard work,
the University of Málaga and the ITIS Software for supporting this event, the E.T.S.
Ingeniería Informática for the space to host the event, and SIEMENS for sponsoring
ConfWS 2023. The following projects by FEDER/Ministry of Science and Innovation/Junta
de Andalucía/State Research Agency, and EU, also supported the workshop: TASOVA PLUS
research network (RED2022-134337-T), IRIS (PID2021-122812OB-I00), LEIA
(UMA18FEDERJA-157), Data-pl (PID2022-138486OB-I00), METAMORFOSIS
(FEDER_US1381375), and DAEMON (H2020-101017109).</p>
    </sec>
    <sec id="sec-2">
      <title>September 2023</title>
    </sec>
    <sec id="sec-3">
      <title>José Miguel Horcas, José Ángel Galindo, Richard Comploi-Taupe, Lidia Fuentes 3</title>
      <sec id="sec-3-1">
        <title>Workshop Chairs</title>
        <p>José Miguel Horcas, University of Málaga, Spain
José A. Galindo, University of Seville, Spain
Richard Comploi-Taupe, Siemens, Austria
Lidia Fuentes Fernández, University of Málaga, Spain</p>
      </sec>
      <sec id="sec-3-2">
        <title>Award Chair</title>
        <p>Michel Aldanondo, Université de Toulouse - IMT Mines Albi, CGI Albi, France</p>
      </sec>
      <sec id="sec-3-3">
        <title>Program Committee</title>
      </sec>
      <sec id="sec-3-4">
        <title>Volunteers</title>
        <p>Laura Panizo, University of Málaga, Spain
María Fernández Márquez, University of Málaga, Spain</p>
        <sec id="sec-3-4-1">
          <title>Visualization in Configurators: Reflections for Future Research</title>
          <p>Enrico Sandrin, Cipriano Forza</p>
        </sec>
        <sec id="sec-3-4-2">
          <title>User Interface Expert for Configurators</title>
          <p>Enrico Sandrin, Gerhard Leitner, Cipriano Forza</p>
        </sec>
        <sec id="sec-3-4-3">
          <title>Specifying Configurable Videos with Feature Models</title>
          <p>Sebastian Lubos, Alexander Felfernig, Viet-Man Le
Solving Constraint Satisfaction Problems with Database Queries: An Overview</p>
          <p>Alexander Felfernig, Viet-Man Le, Albert Haag, Sebastian Lubos
Game-based Configuration Task Learning with ConGuess: An Initial Empirical</p>
        </sec>
        <sec id="sec-3-4-4">
          <title>Analysis</title>
          <p>Andreas Hofbauer, Alexander Felfernig
Collaborative Recommendation of Search Heuristics For Constraint Solvers
Damian Garber, Tamim Burgstaller, Alexander Felfernig, Viet-Man Le, Sebastian
Lubos, Trang Tran, Seda Polat-Erdeniz
Solving Multi-Configuration Problems: A Performance Analysis with Choco</p>
        </sec>
        <sec id="sec-3-4-5">
          <title>Solver</title>
          <p>Benjamin Ritz, Alexander Felfernig, Viet-Man Le, Sebastian Lubos</p>
        </sec>
        <sec id="sec-3-4-6">
          <title>Decision Heuristics in a Constraint-based Product Configurator</title>
          <p>Matthias Gorenflo, Tomáš Balyo, Markus Iser, Tobias Ostertag
Identifying Potential Applications of Service Configuration Systems in a
Logistics Company</p>
          <p>Erika Marie Strøm, Tine Meidahl Münsberg, Lars Hvam</p>
        </sec>
        <sec id="sec-3-4-7">
          <title>Multi-level configuration in smart governance systems</title>
          <p>Salvador Muñoz-Hermoso, David Benavides, Francisco Jose Dominguez Mayo
8
12
22
29
34
38
45
51
60
67
Dynamic Aggregates in Expressive ASP Heuristics for Configuration Problems</p>
          <p>Richard Comploi-Taupe, Gerhard Friedrich, Tilman Niestroj
Towards a formalization of configuration problems for ASP-based reasoning:</p>
        </sec>
        <sec id="sec-3-4-8">
          <title>Preliminary report</title>
          <p>Nicolas Rühling, Torsten Schaub, Tobias Stolzmann</p>
        </sec>
        <sec id="sec-3-4-9">
          <title>Interactive Configuration with ASP Multi-Shot Solving</title>
          <p>Richard Comploi-Taupe, Andreas Falkner, Susana Hahn, Torsten Schaub,
Gottfried Schenner
PERFECT: PErformant and Robust read-to-fly FlEet ConfiguraTion: from
robot to mission plan</p>
          <p>Elise Vareilles, Stéphanie Roussel, Gauthier Picard</p>
        </sec>
        <sec id="sec-3-4-10">
          <title>Construction of Decision Diagrams for Product Configuration</title>
          <p>Maxim Popov, Tomáš Balyo, Markus Iser, Tobias Ostertag
Product Variant Master in the Construction Industry: A Synthesis of
Construction Product Platforms
Irene Campo Gay, Lars Hvam
75
85
95
104
108
118</p>
        </sec>
      </sec>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>