# ASP-driven User-interaction with Clinguin

arXiv: https://arxiv.org/abs/2502.09222 · HTML: https://mlsanity.com/paper/2502.09222/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- Builds on 4 of its 17 references that are in the map.
- First posted on arXiv 13 Feb 2025.

## Builds on (most cited first, 4 of 4)

- [Multi-shot ASP solving with clingo](https://mlsanity.com/paper/1705.09811/) (2017)
- [How to build your own ASP-based system?!](https://mlsanity.com/paper/2008.06692/) (2020)
- [Clingo goes Linear Constraints over Reals and Integers](https://mlsanity.com/paper/1707.04053/) (2017)
- [Interactive Answer Set Programming - Preliminary Report](https://mlsanity.com/paper/1511.01261/) (2015)

## Built on by (most cited first, 2 of 2)

- [Smart Expansion Techniques for ASP-based Interactive Configuration](https://mlsanity.com/paper/2507.21027/) (2025)
- [Meta-Programming for Linear-time Temporal Answer Set Programming](https://mlsanity.com/paper/2605.29965/) (2026)

## Abstract (arXiv)

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 prototypes directly in ASP, eliminating the need for separate frontend languages. To this end, clinguin uses a few dedicated predicates to define user interfaces and the treatment of user-triggered events. This simple design greatly facilitates the specification of user interactions with an ASP system, in our case clingo.