ASP-Core-2 input language format
From MaRDI portal
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.
Recommendations
Cites work
- scientific article; zbMATH DE number 5996835 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 1926645 (Why is no real title available?)
- scientific article; zbMATH DE number 2085279 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- Abstract gringo
- Design and results of the Fifth Answer Set Programming Competition
- Extending and implementing the stable model semantics
- Finitely recursive programs: decidability and bottom-up computation
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
- Logics in Artificial Intelligence
- Monotonic aggregation in deductive databases
- Relating two dialects of answer set programming
- Rewriting recursive aggregates in answer set programming: back to monotonicity
- Semantics and complexity of recursive aggregates in answer set programming
- The Sixth Answer Set Programming Competition
- The design of the Seventh Answer Set Programming Competition
- Vicious circle principle and logic programs with aggregates
- Well-founded and stable semantics of logic programs with aggregates
Cited in
(71)- Statistical relational extension of answer set programming
- Scalable neural-probabilistic answer set programming
- Making sense of sensory input
- Rewriting optimization statements in answer-set programs
- Inconsistency measurement in \(\mathrm{LTL_f}\) based on minimal inconsistent sets and minimal correction sets
- Inductive learning of robot task knowledge from raw data and online expert feedback
- Multi-level Algorithm Selection for ASP
- Operating room scheduling via answer set programming: improved encoding and test on real data
- The XAI system for answer set programming xASP2
- Complexity and scalability of defeasible reasoning in many-valued weighted knowledge bases with typicality
- A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
- scientific article; zbMATH DE number 7455711 (Why is no real title available?)
- scientific article; zbMATH DE number 7455735 (Why is no real title available?)
- Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs
- Direct encoding of declare constraints in ASP
- Solving decision theory problems with probabilistic answer set programming
- On combining ontologies and rules
- Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
- A simple proof-theoretic characterization of stable models: reduction to difference logic and experiments
- System predictor: grounding size estimator for logic programs under answer set semantics
- Answer-set programming for lexicographical makespan optimisation in parallel machine scheduling
- On program completion, with an application to the sum and product puzzle
- Declarative approaches to counterfactual explanations for classification
- On the configuration of more and less expressive logic programs
- Answer set planning: a survey
- Aggregate semantics for propositional answer set programs
- How to build your own ASP-based system?!
- Constraint answer set programming: integrational and translational (or SMT-based) approaches
- Answer set programming made easy
- Witnesses for Answer Sets of Logic Programs
- Lifted inference for statistical statements in probabilistic answer set programming
- Solution Enumeration by Optimality in Answer Set Programming
- Abstract gringo
- FOLASP: FO(·) as Input Language for Answer Set Solvers
- Omission-based abstraction for answer set programs
- Induction and exploitation of subgoal automata for reinforcement learning
- A general framework for preferences in answer set programming
- scientific article; zbMATH DE number 7453111 (Why is no real title available?)
- scientific article; zbMATH DE number 7455719 (Why is no real title available?)
- Detect, understand, act: a neuro-symbolic hierarchical reinforcement learning framework
- Lifting symmetry breaking constraints with inductive logic programming
- New encodings of the (Euclidean) travelling salesperson problem in constraint answer set programming on difference logic
- ASP-based approaches for solving the nuclear medicine scheduling problem
- Model-based diagnosis with ASP for non-groundable domains
- Modern Datalog: concepts, methods, applications (invited paper)
- Treewidth-aware reductions of normal \textsc{ASP} to \textsc{SAT} - is normal \textsc{ASP} Harder than \textsc{SAT} after all?
- An abstract view on optimizations in SAT and ASP
- Solving a multi-resource partial-ordering flexible variant of the job-shop scheduling problem with hybrid ASP
- Testing in ASP: revisited language and programming environment
- Problem Decomposition and Multi-shot ASP Solving for Job-shop Scheduling
- Precomputing Datalog evaluation plans in large-scale scenarios
- Qualitative reasoning about 2D cardinal directions using answer set programming
- Generalizing the syntax of terms in mini-\textsc{gringo}
- Encoding action reversibility in planning using quantified ASP and Bule
- Lazy atom discovery in compilation-based ASP solving
- An abstract view on optimizations in propositional frameworks
- Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming
- Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming
- Inductive learning of answer set programs for autonomous surgical task planning. Application to a training task for surgeons
- scientific article; zbMATH DE number 7455705 (Why is no real title available?)
- DeduDeep: an extensible framework for combining deep learning and ASP-based models
- Solving problems in the polynomial hierarchy with ASP(Q)
- Conflict generalisation in ASP: learning correct and effective non-ground constraints
- Adaptive large-neighbourhood search for optimisation in answer-set programming
- Manipulation of articulated objects using dual-arm robots via answer set programming
- Decomposition strategies and multi-shot ASP solving for job-shop scheduling
- Domain-independent cost-optimal planning in ASP
- Reactive Answer Set Programming
- Comparing planning domain models using answer set programming
- Complexity and scalability of defeasible reasoning with typicality in many-valued weighted knowledge bases
- Plan selection framework for policy-aware autonomous agents
This page was built for publication: ASP-Core-2 input language format
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4957196)
