4 citations · 11 across the 12 of their papers we have counts for
12 papers
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…
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…
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…
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…
Reasoning about Study Regulations in Answer Set Programming
Susana Hahn, Cedric Martens, Amade Nemes +4
We are interested in automating reasoning with and about study regulations, catering to various stakeholders, ranging from administrators, over faculty, to students at different st…
Clingraph: A System for ASP-based Visualization
Susana Hahn, Orkunt Sabuncu, Torsten Schaub +1
We present the ASP-based visualization tool, clingraph, which aims at visualizing various concepts of ASP by means of ASP itself. This idea traces back to the aspviz tool and cling…
plingo: A system for probabilistic reasoning in clingo based on lpmln
Susana Hahn, Tomi Janhunen, Roland Kaminski +3
We present plingo, an extension of the ASP system clingo with various probabilistic reasoning modes. Plingo is centered upon LP^MLN, a probabilistic extension of ASP based on a wei…
Automata Techniques for Temporal Answer Set Programming
Susana Hahn
Temporal and dynamic extensions of Answer Set Programming (ASP) have played an important role in addressing dynamic problems, as they allow the use of temporal operators to reason…
Automata for dynamic answer set solving: Preliminary report
Pedro Cabalar, Martín Diéguez, Susana Hahn +1
We explore different ways of implementing temporal constraints expressed in an extension of Answer Set Programming (ASP) with language constructs from dynamic logic. Foremost, we i…