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