In progress ...
We are cooking some ASP Recipes ...
Gerhard Brewka, Thomas Eiter, Miroslaw Truszczynski: Answer set programming at a glance. Commun. ACM 54(12): 92-103 (2011). https://doi.org/10.1145/2043174.2043195
Michael Gelfond, Vladimir Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases. New Gener. Comput. 9(3/4): 365-386 (1991). https://doi.org/10.1007/BF03037169
Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub: ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020). https://doi.org/10.1017/S1471068419000450
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub: Answer Set Solving in Practice. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2012, ISBN 978-3-031-00433-9. https://doi.org/10.2200/S00457ED1V01Y201211AIM019
Mario Alviano, Davide Cirimele, Luis Angel Rodriguez Reiners: Introducing ASP recipes and ASP Chef. ICLP Workshops 2023. https://ceur-ws.org/Vol-3437/paper4ASPOCP.pdf
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub, Philipp Wanko: Theory Solving Made Easy with Clingo 5. ICLP (Technical Communications) 2016: 2:1-2:15. https://doi.org/10.4230/OASIcs.ICLP.2016.2,
Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca: Evaluation of Disjunctive Programs in WASP. LPNMR 2019: 241-255. https://doi.org/10.1007/978-3-030-20528-7\_18
Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca: Blending Grounding and Compilation for Efficient ASP Solving. KR 2024. https://doi.org/10.24963/kr.2024/30
Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski: Beyond NP: Quantifying over Answer Sets. Theory Pract. Log. Program. 19(5-6): 705-721 (2019). https://doi.org/10.1017/S1471068419000140
Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski: Quantifying over Optimum Answer Sets. Theory Pract. Log. Program. 24(4): 716-736 (2024). https://doi.org/10.1017/s1471068424000395
Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca: 2-ASP(Q) Solving Based on CEGAR. AAAI 2026: 19030-19038. https://doi.org/10.1609/aaai.v40i23.38975
Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca: An Efficient Solver for ASP(Q). Theory Pract. Log. Program. 23(4): 948-964 (2023). https://doi.org/10.1017/s1471068423000121
Damiano Azzolini, Giuseppe Mazzotta, Francesco Ricca, Fabrizio Riguzzi: Most Probable Explanation in Probabilistic Answer Set Programming. IJCAI 2025: 9049-9057. https://doi.org/10.24963/ijcai.2025/1006
Wolfgang Faber, Michael Morak, Lukás Chrpa: Determining Action Reversibility in STRIPS Using Answer Set Programming with Quantifiers. PADL 2022: 42-56. https://doi.org/10.1007/978-3-030-94479-7\_4
Wolfgang Faber, Michael Morak: Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers. HYDRA/RCRA@LPNMR 2022: 78-89. https://ceur-ws.org/Vol-3281/paper7.pdf
Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca: Modelling the Outlier Detection Problem in ASP(Q). PADL 2022: 15-23. https://doi.org/10.1007/978-3-030-94479-7\_2