# How to build your own ASP-based system?!

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

## Key facts

- Cited by 20 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 15 Aug 2020.

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

- [Answer-Set Programs for Reasoning about Counterfactual Interventions and Responsibility Scores for Classification](https://mlsanity.com/paper/2107.10159/) (2021)
- [Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation](https://mlsanity.com/paper/2108.04192/) (2021)
- [ASP-driven User-interaction with Clinguin](https://mlsanity.com/paper/2502.09222/) (2025)
- [The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital](https://mlsanity.com/paper/2506.13600/) (2025)
- [Rethinking Answer Set Programming Templates](https://mlsanity.com/paper/2307.06382/) (2023)
- [Current and Future Challenges in Knowledge Representation and Reasoning](https://mlsanity.com/paper/2308.04161/) (2023)
- [Explanations for Answer Set Programming](https://mlsanity.com/paper/2308.15879/) (2023)
- [Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)](https://mlsanity.com/paper/2503.19762/) (2025)
- [Smart Expansion Techniques for ASP-based Interactive Configuration](https://mlsanity.com/paper/2507.21027/) (2025)
- [plingo: A system for probabilistic reasoning in clingo based on lpmln](https://mlsanity.com/paper/2206.11515/) (2022)
- [Bounded Combinatorial Reconfiguration with Answer Set Programming](https://mlsanity.com/paper/2307.10688/) (2023)
- [DELPHIC: Practical DEL Planning via Possibilities (Extended Version)](https://mlsanity.com/paper/2307.15451/) (2023)
- [Extending Answer Set Programming with Rational Numbers](https://mlsanity.com/paper/2312.04249/) (2023)
- [Reasoning about Study Regulations in Answer Set Programming](https://mlsanity.com/paper/2408.04528/) (2024)
- [Solving Epistemic Logic Programs using Generate-and-Test with Propagation](https://mlsanity.com/paper/2410.22130/) (2024)
- [Compiling Metric Temporal Answer Set Programming](https://mlsanity.com/paper/2506.08150/) (2025)
- [ASP-FZN: A Translation-based Constraint Answer Set Solver](https://mlsanity.com/paper/2507.22774/) (2025)
- [Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations](https://mlsanity.com/paper/2509.03644/) (2025)
- [Meta-Programming for Linear-time Temporal Answer Set Programming](https://mlsanity.com/paper/2605.29965/) (2026)
- [EZSMT Version 3, Matured](https://mlsanity.com/paper/2607.13344/) (2026)

## Abstract (arXiv)

Answer Set Programming (ASP) has become a popular and quite sophisticated approach to declarative problem solving. This is arguably due to its attractive modeling-grounding-solving workflow that provides an easy approach to problem solving, even for laypersons outside computer science. Unlike this, the high degree of sophistication of the underlying technology makes it increasingly hard for ASP experts to put ideas into practice. For addressing this issue, this tutorial aims at enabling users to build their own ASP-based systems. More precisely, we show how the ASP system CLINGO can be used for extending ASP and for implementing customized special-purpose systems. To this end, we propose two alternatives. We begin with a traditional AI technique and show how meta programming can be used for extending ASP. This is a rather light approach that relies on CLINGO's reification feature to use ASP itself for expressing new functionalities. Unlike this, the major part of this tutorial uses traditional programming (in PYTHON) for manipulating CLINGO via its application programming interface. This approach allows for changing and controlling the entire model-ground-solve workflow of ASP. Central to this is CLINGO's new Application class that allows us to draw on CLINGO's infrastructure by customizing processes similar to the one in CLINGO. For instance, we may engage manipulations to programs' abstract syntax trees, control various forms of multi-shot solving, and set up theory propagators for foreign inferences. Another cross-sectional structure, spanning meta as well as application programming, is CLINGO's intermediate format, ASPIF, that specifies the interface among the underlying grounder and solver. We illustrate the aforementioned concepts and techniques throughout this tutorial by means of examples and several non-trivial case-studies.