# ASP-Core-2 Input Language Format

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

## Key facts

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

## Built on by (most cited first, 30 of 77)

- [NeurASP: Embracing Neural Networks into Answer Set Programming](https://mlsanity.com/paper/2307.07700/) (2023)
- [Scalable Neural-Probabilistic Answer Set Programming](https://mlsanity.com/paper/2306.08397/) (2023)
- [Answer Set Planning: A Survey](https://mlsanity.com/paper/2202.05793/) (2022)
- [An ASP-based Solution to the Chemotherapy Treatment Scheduling problem](https://mlsanity.com/paper/2108.02637/) (2021)
- [Rushing and Strolling among Answer Sets -- Navigation Made Easy](https://mlsanity.com/paper/2112.07596/) (2021)
- [SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programming](https://mlsanity.com/paper/2110.03395/) (2021)
- [Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?](https://mlsanity.com/paper/2210.03553/) (2022)
- [Logic programming for deliberative robotic task planning](https://mlsanity.com/paper/2301.07550/) (2023)
- [Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches](https://mlsanity.com/paper/2107.08252/) (2021)
- [Learning Logic Specifications for Soft Policy Guidance in POMCP](https://mlsanity.com/paper/2303.09172/) (2023)
- [Towards Automatic Composition of ASP Programs from Natural Language Specifications](https://mlsanity.com/paper/2403.04541/) (2024)
- [Answer Set Networks: Casting Answer Set Programming into Deep Learning](https://mlsanity.com/paper/2412.14814/) (2024)
- [Aggregate Semantics for Propositional Answer Set Programs](https://mlsanity.com/paper/2109.08662/) (2021)
- [CNL2ASP: converting controlled natural language sentences into ASP](https://mlsanity.com/paper/2311.10505/) (2023)
- [Operating Room (Re)Scheduling with Bed Management via ASP](https://mlsanity.com/paper/2105.02283/) (2021)
- [Lifting Symmetry Breaking Constraints with Inductive Logic Programming](https://mlsanity.com/paper/2112.11806/) (2021)
- [Question Answering with LLMs and Learning from Answer Sets](https://mlsanity.com/paper/2509.16590/) (2025)
- [Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling](https://mlsanity.com/paper/2205.07537/) (2022)
- [An Abstract View on Optimizations in Propositional Frameworks](https://mlsanity.com/paper/2206.06440/) (2022)
- [Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling](https://mlsanity.com/paper/2212.09077/) (2022)
- [LPMLN, Weak Constraints, and P-log](https://mlsanity.com/paper/2506.12784/) (2025)
- [Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASP](https://mlsanity.com/paper/2101.10162/) (2021)
- [I-DLV-sr: A Stream Reasoning System based on I-DLV](https://mlsanity.com/paper/2108.02797/) (2021)
- [Solution Enumeration by Optimality in Answer Set Programming](https://mlsanity.com/paper/2108.03474/) (2021)
- [Interactive configurator with FO(.) and IDP-Z3](https://mlsanity.com/paper/2202.00343/) (2022)
- [Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programming](https://mlsanity.com/paper/2209.09066/) (2022)
- [Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Scheduling](https://mlsanity.com/paper/2305.11969/) (2023)
- [Unit Testing in ASP Revisited: Language and Test-Driven Development Environment](https://mlsanity.com/paper/2401.02153/) (2024)
- [Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedback](https://mlsanity.com/paper/2501.07507/) (2025)
- [Visual Graph Question Answering with ASP and LLMs for Language Parsing](https://mlsanity.com/paper/2502.09211/) (2025)

## Abstract (arXiv)

Standardization of solver input languages has been a main driver for the growth of several areas within knowledge representation and reasoning, fostering the exploitation in actual applications. In this document we present the ASP-Core-2 standard input language for Answer Set Programming, which has been adopted in ASP Competition events since 2013.