most citedSmart Expansion Techniques for ASP-based Interactive Configuration

1 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing cs.AIShow all

2 papers · 1 filter

cs.AI2025★ 1 cited

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…

cs.AI2024

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…