Testing in ASP: revisited language and programming environment
From MaRDI portal
Publication:2055810
DOI10.1007/978-3-030-75775-5_24OpenAlexW3162978696MaRDI QIDQ2055810
Tobias Berei, Giovanni Amendola, Francesco Ricca
Publication date: 1 December 2021
Full work available at URL: https://doi.org/10.1007/978-3-030-75775-5_24
Uses Software
Cites Work
- Unnamed Item
- Design and results of the Fifth Answer Set Programming Competition
- Integrating answer set programming and constraint logic programming
- First-order stable model semantics with intensional functions
- The ASP system DLV2
- \(\mathsf {Harvey}\): a system for random testing in ASP
- Towards Answer Set Programming with Sorts
- On Testing Answer-Set Programs
- Short XORs for Model Counting: From Theory to Practice
- Modularity Aspects of Disjunctive Stable Models
- Clingcon: The next generation
- Constraint answer set solver EZCSP and why integration schemas matter
- Annotating answer-set programs in <scp>Lana</scp>
- ASP-Core-2 Input Language Format
- DynASP2.5: Dynamic Programming on Tree Decompositions in Action
- Verifying Tight Logic Programs with anthem and vampire
- Multi-shot ASP solving with clingo
- Debugging Non-ground ASP Programs: Technique and Graphical Tools
- The Sixth Answer Set Programming Competition
This page was built for publication: Testing in ASP: revisited language and programming environment
