ASP-Core-2 Input Language Format

Abstract

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.

References in corpus (3)

• Abstract Gringo
• Vicious Circle Principle and Logic Programs with Aggregates
• Rewriting recursive aggregates in answer set programming: back to monotonicity

Cited by in corpus (26)

• Deliberation in autonomous robotic surgery: a framework for handling anatomical uncertainty
• Logic programming for deliberative robotic task planning
• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
• Applying Incremental Answer Set Solving to Product Configuration
• Solution Enumeration by Optimality in Answer Set Programming
• Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
• Lifting Symmetry Breaking Constraints with Inductive Logic Programming
• Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling
• ASP Chef grows Mustache to look better
• Automated Aggregator -- Rewriting with the Counting Aggregate
• Explanations for Answer Set Programming
• Visual Graph Question Answering with ASP and LLMs for Language Parsing
• Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
• LP2PB: Translating Answer Set Programs into Pseudo-Boolean Theories
• Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach
• Application Placement with Constraint Relaxation
• Improving ASP-based ORS Schedules through Machine Learning Predictions
• ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
• Solving Decision Theory Problems with Probabilistic Answer Set Programming
• A CASP-based Solution for Traffic Signal Optimisation
• Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
• Relating Answer Set Programming and Many-sorted Logics for Formal Verification
• Penalization Framework For Autonomous Agents Using Answer Set Programming
• An ASP-based Solution to the Chemotherapy Treatment Scheduling problem
• An ASP Framework for Efficient Urban Traffic Optimization
• Extending Answer Set Programs with Neural Networks