The Sixth Answer Set Programming Competition
From MaRDI portal
Recommendations
Cited in
(27)- Design and results of the second international competition on computational models of argumentation
- The Design of the Sixth Answer Set Programming Competition
- Logic Programming and Nonmonotonic Reasoning
- Better paracoherent answer sets with less resources
- Paracoherent answer set computation
- Abstract Solvers for Computing Cautious Consequences of ASP programs
- The Seventh Answer Set Programming Competition: Design and Results
- An efficient solver for ASP(Q)
- On the configuration of more and less expressive logic programs
- Cautious reasoning in ASP via minimal models and unsatisfiable cores
- A logic-based framework leveraging neural networks for studying the evolution of neurological disorders
- Incremental answer set programming with overgrounding
- Design and results of the Fifth Answer Set Programming Competition
- Shift design with answer set programming
- scientific article; zbMATH DE number 7453100 (Why is no real title available?)
- Partial compilation of ASP programs
- Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
- ASP-Core-2 input language format
- Testing in ASP: revisited language and programming environment
- Beyond NP: quantifying over answer sets
- plasp 3: towards effective ASP planning
- The External Interface for Extending WASP
- A machine learning system to improve the performance of ASP solving based on encoding selection
- Solving problems in the polynomial hierarchy with ASP(Q)
- The design of the Seventh Answer Set Programming Competition
- Shared aggregate sets in answer set programming
- Graph-based construction of minimal models
This page was built for publication: The Sixth Answer Set Programming Competition
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5371008)
