The Seventh Answer Set Programming Competition: Design and Results
Not on the map. Why?
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).
Key facts. Cited by 11 papers in the map (data through 7 Oct 2026). First posted on arXiv 19 Apr 2019.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 2; 2022: 4; 2023: 1; 2024: 2; 2025: 1; 2026: 1.
11 papers.
- 2024Towards Automatic Composition of ASP Programs from Natural Language Specificationscited by 7
- 2023Neuro-Symbolic AI for Compliance Checking of Electrical Control Panelscited by 6
- 2021Parallel Logic Programming: A Sequelcited by 3
- 2022A Quantitative Symbolic Approach to Individual Human Reasoningcited by 2
- 2022Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programmingcited by 2
- 2024Unit Testing in ASP Revisited: Language and Test-Driven Development Environmentcited by 2
- 2021FOLASP: FO(.) as Input Language for Answer Ser Solverscited by 1
- 2022On the Configuration of More and Less Expressive Logic Programscited by 1
- 2022ValAsp: a tool for data validation in Answer Set Programmingcited by 0
- 2025Counting Answer Sets of Disjunctive Answer Set Programscited by 0
- 2026BLAST: Benchmarking LLMs with ASP-based Structured Testingcited by 0
- 2026BLAST: Benchmarking LLMs with ASP-based Structured Testing24 Apr 2026
- 2025Counting Answer Sets of Disjunctive Answer Set Programs15 Jul 2025
- 2024Towards Automatic Composition of ASP Programs from Natural Language Specifications7 Mar 2024
- 2024Unit Testing in ASP Revisited: Language and Test-Driven Development Environment4 Jan 2024
- 2023Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels17 May 2023
- 2022Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming19 Sep 2022
- 2022A Quantitative Symbolic Approach to Individual Human Reasoning10 May 2022
- 2022On the Configuration of More and Less Expressive Logic Programs2 Mar 2022
- 2022ValAsp: a tool for data validation in Answer Set Programming19 Feb 2022
- 2021Parallel Logic Programming: A Sequel22 Nov 2021
- 2021FOLASP: FO(.) as Input Language for Answer Ser Solvers9 Aug 2021