Decision systems for solving real-world combinatorial problems must be able to report
infeasibility in such a way that users can understand the reasons behind it, and understand …

We address the challenge of product configuration in the context of increasing customer
demand for diverse and complex products. We propose a solution through a curated …

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) …

The Object Constraint Language (OCL) is a specification language that allows users to write
precise constraints or rules over models that are built using the Unified Modeling Language …

Answer Set Programming (ASP) is a powerful tool for solving real-world problems. However,
many problems involve numeric values and complex constraints beyond the capabilities of …

A product configurator enables the configuration of a customizable product while
constraining possible variations. Users typically interact with a product configurator via a …

Decision systems for solving real-world combinatorial problems must be able to report
infeasibility in such a way that users can understand the reasons behind it, and determine …

Un sistema basado en programación de restricciones para la asignación de turnos en una
empresa de suministro de combustible SciELO - Scientific Electronic Library Online vol.32 …

This is a preliminary work on configuration knowledge representation which serves as a
foundation for building interactive configuration systems in Answer Set programming (ASP) …

Code generation is a prominent use-case for Large Language Models (LLMs). Specialized
LLMs such as CodeLlama or Codestral are trained on a large variety of programming …