  In this paper, we apply incremental answer set solving to product
configuration. Incremental answer set solving is a step-wise incremental
approach to Answer Set Programming (ASP). We demonstrate how to use this
technique to solve product configurations problems incrementally. Every step of
the incremental solving process corresponds to a predefined configuration
action. Using complex domain-specific configuration actions makes it possible
to tightly control the level of non-determinism and performance of the solving
process. We show applications of this technique for reasoning about product
configuration, like simulating the behavior of a deterministic configuration
algorithm and describing user actions.
