mlsanityData to 14 Oct 2026

ASP-Core-2 Input Language Format

arXiv 1911.04326 ↗First posted 11 Nov 2019cs.AI cs.LOcited by 77

Not on the map. Why?

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.

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

Builds on

No reference list yet.

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2021: 14; 2022: 14; 2023: 16; 2024: 13; 2025: 13; 2026: 7.

77 papers.

Sort:

By area:

  1. 2023NeurASP: Embracing Neural Networks into Answer Set Programmingcited by 92
  2. 2023Scalable Neural-Probabilistic Answer Set Programmingcited by 14
  3. 2022Answer Set Planning: A Surveycited by 12
  4. 2021An ASP-based Solution to the Chemotherapy Treatment Scheduling problemcited by 9
  5. 2021Rushing and Strolling among Answer Sets -- Navigation Made Easycited by 9
  6. 2021SLASH: Embracing Probabilistic Circuits into Neural Answer Set Programmingcited by 8
  7. 2022Treewidth-aware Reductions of Normal ASP to SAT -- Is Normal ASP Harder than SAT after All?cited by 8
  8. 2023Logic programming for deliberative robotic task planningcited by 8
  9. 2021Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approachescited by 7
  10. 2023Learning Logic Specifications for Soft Policy Guidance in POMCPcited by 7
  11. 2024Towards Automatic Composition of ASP Programs from Natural Language Specificationscited by 7
  12. 2024Answer Set Networks: Casting Answer Set Programming into Deep Learningcited by 6
38 more
  1. 2021Aggregate Semantics for Propositional Answer Set Programscited by 5
  2. 2023CNL2ASP: converting controlled natural language sentences into ASPcited by 5
  3. 2021Operating Room (Re)Scheduling with Bed Management via ASPcited by 4
  4. 2021Lifting Symmetry Breaking Constraints with Inductive Logic Programmingcited by 4
  5. 2025Question Answering with LLMs and Learning from Answer Setscited by 4
  6. 2022Decomposition Strategies and Multi-shot ASP Solving for Job-shop Schedulingcited by 3
  7. 2022An Abstract View on Optimizations in Propositional Frameworkscited by 3
  8. 2022Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Schedulingcited by 3
  9. 2025LPMLN, Weak Constraints, and P-logcited by 3
  10. 2021Solving a Multi-resource Partial-ordering Flexible Variant of the Job-shop Scheduling Problem with Hybrid ASPcited by 2
  11. 2021I-DLV-sr: A Stream Reasoning System based on I-DLVcited by 2
  12. 2021Solution Enumeration by Optimality in Answer Set Programmingcited by 2
  13. 2022Interactive configurator with FO(.) and IDP-Z3cited by 2
  14. 2022Specifying and Exploiting Non-Monotonic Domain-Specific Declarative Heuristics in Answer Set Programmingcited by 2
  15. 2023Logic-Based Benders Decomposition in Answer Set Programming for Chronic Outpatients Schedulingcited by 2
  16. 2024Unit Testing in ASP Revisited: Language and Test-Driven Development Environmentcited by 2
  17. 2025Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert Feedbackcited by 2
  18. 2025Visual Graph Question Answering with ASP and LLMs for Language Parsingcited by 2
  19. 2025Autonomous Agents and Policy Compliance: A Framework for Reasoning About Penaltiescited by 2
  20. 2026Investigating the Grounding Bottleneck for a Large-Scale Configuration Problem: Existing Tools and Constraint-Aware Guessingcited by 2
  21. 2021FOLASP: FO(.) as Input Language for Answer Ser Solverscited by 1
  22. 2021Determining ActionReversibility in STRIPS Using Answer Set and Epistemic Logic Programmingcited by 1
  23. 2021Answer Set Programming Made Easycited by 1
  24. 2022On the Configuration of More and Less Expressive Logic Programscited by 1
  25. 2022Unifying Framework for Optimizations in non-boolean Formalismscited by 1
  26. 2022Applying Incremental Answer Set Solving to Product Configurationcited by 1
  27. 2023Rethinking Answer Set Programming Templatescited by 1
  28. 2023Current and Future Challenges in Knowledge Representation and Reasoningcited by 1
  29. 2023Explanations for Answer Set Programmingcited by 1
  30. 2023Generalizing Level Ranking Constraints for Monotone and Convex Aggregatescited by 1
  31. 2024Quantifying over Optimum Answer Setscited by 1
  32. 2024Declarative Knowledge Distillation from Large Language Models for Visual Question Answering Datasetscited by 1
  33. 2024ASP-based Multi-shot Reasoning via DLV2 with Incremental Groundingcited by 1
  34. 2025Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)cited by 1
  35. 2025An ASP-Based Framework for MUSescited by 1
  36. 2025Sufficient Explanations in Databases and their Connections to Database Repairscited by 1
  37. 2021Reactive Answer Set Programmingcited by 0
  38. 2022ValAsp: a tool for data validation in Answer Set Programmingcited by 0

50 most cited of 77 All 77 (JSON)