# The Seventh Answer Set Programming Competition: Design and Results

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

## Key facts

- Cited by 11 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 19 Apr 2019.

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

- [Towards Automatic Composition of ASP Programs from Natural Language Specifications](https://mlsanity.com/paper/2403.04541/) (2024)
- [Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels](https://mlsanity.com/paper/2305.10113/) (2023)
- [Parallel Logic Programming: A Sequel](https://mlsanity.com/paper/2111.11218/) (2021)
- [A Quantitative Symbolic Approach to Individual Human Reasoning](https://mlsanity.com/paper/2205.05030/) (2022)
- [Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming](https://mlsanity.com/paper/2209.09066/) (2022)
- [Unit Testing in ASP Revisited: Language and Test-Driven Development Environment](https://mlsanity.com/paper/2401.02153/) (2024)
- [FOLASP: FO(.) as Input Language for Answer Ser Solvers](https://mlsanity.com/paper/2108.04020/) (2021)
- [On the Configuration of More and Less Expressive Logic Programs](https://mlsanity.com/paper/2203.01024/) (2022)
- [ValAsp: a tool for data validation in Answer Set Programming](https://mlsanity.com/paper/2202.09626/) (2022)
- [Counting Answer Sets of Disjunctive Answer Set Programs](https://mlsanity.com/paper/2507.11655/) (2025)
- [BLAST: Benchmarking LLMs with ASP-based Structured Testing](https://mlsanity.com/paper/2604.22306/) (2026)

## Abstract (arXiv)

Answer Set Programming (ASP) is a prominent knowledge representation language with roots in logic programming and non-monotonic reasoning. Biennial ASP competitions are organized in order to furnish challenging benchmark collections and assess the advancement of the state of the art in ASP solving. In this paper, we report on the design and results of the Seventh ASP Competition, jointly organized by the University of Calabria (Italy), the University of Genova (Italy), and the University of Potsdam (Germany), in affiliation with the 14th International Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR 2017). (Under consideration for acceptance in TPLP).