3 papers
cs.LO2026
Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
MartÃn Diéguez, Susana Hahn, Torsten Schaub +1
Metric temporal equilibrium logic (\MEL) extends temporal equilibrium logic (\TEL) by incorporating quantitative timing constraints, enabling the specification and analysis of dead…
cs.SE2026
Towards Industrial-scale Product Configuration
Joachim Baumeister, Susana Hahn, Konstantin Herud +5
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 selection o…
cs.AI2025
ASP-driven User-interaction with Clinguin
Alexander Beiser, Susana Hahn, Torsten Schaub
We present clinguin, a system for ASP-driven user interface design. Clinguin streamlines the development of user interfaces for ASP developers by letting them build interactive pro…