8 papers
Implementing Metric Temporal Answer Set Programming
Arvid Becker, Pedro Cabalar, Martin Diéguez +3
We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constraints, like durations and deadlines. A central challe…
Meta-Programming for Linear-time Temporal Answer Set Programming
Susana Hahn, Amadé Nemes, Javier Romero +1
The development of temporal extensions of Answer Set Programming (ASP) has led to the emergence of non-monotonic linear-time (TEL), dynamic (DEL), and metric (MEL) temporal equilib…
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…
Smart Expansion Techniques for ASP-based Interactive Configuration
Lucia Balážová, Richard Comploi-Taupe, Susana Hahn +2
Product configuration is a successful application of Answer Set Programming (ASP). However, challenges are still open for interactive systems to effectively guide users through the…
Compiling Metric Temporal Answer Set Programming
Arvid Becker, Pedro Cabalar, Martin Diéguez +3
We develop a computational approach to Metric Answer Set Programming (ASP) to allow for expressing quantitative temporal constrains, like durations and deadlines. A central challen…
Computational methods for Dynamic Answer Set Programming
Susana Hahn
In our daily lives and industrial settings, we often encounter dynamic problems that require reasoning over time and metric constraints. These include tasks such as scheduling, rou…