@inproceedings(DBLP:conf/lpnmr/AlvianoCDFLPRVZ17,
 author       = {Mario Alviano and Francesco Calimeri and Carmine Dodaro and Davide Fusc{\`{a}} and Nicola Leone and Simona Perri and Francesco Ricca and Pierfrancesco Veltri and Jessica Zangari},
 year         = {2017},
 title        = {The {ASP} System {DLV2}},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {10377},
 publisher    = {Springer},
 pages        = {215--221},
 url          = {https://doi.org/10.1007/978-3-319-61660-5\_19},
)
@inproceedings(DBLP:conf/lpnmr/AlvianoDLR15,
 author       = {Mario Alviano and Carmine Dodaro and Nicola Leone and Francesco Ricca},
 year         = {2015},
 title        = {Advances in {WASP}},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {9345},
 publisher    = {Springer},
 pages        = {40--54},
 doi          = {10.1007/978-3-319-23264-5\_5},
)
@inproceedings(DBLP:conf/ijcai/AmendolaGLV16,
 author       = {Giovanni Amendola and Gianluigi Greco and Nicola Leone and Pierfrancesco Veltri},
 year         = {2016},
 title        = {Modeling and Reasoning about {NTU} Games via Answer Set Programming},
 booktitle    = {{IJCAI}},
 publisher    = {{IJCAI/AAAI} Press},
 pages        = {38--45},
 doi          = {10.1016/j.artint.2016.01.011},
)
@article(DBLP:journals/tplp/BalducciniL17,
 author       = {Marcello Balduccini and Yuliya Lierler},
 year         = {2017},
 title        = {Constraint answer set solver {EZCSP} and why integration schemas matter},
 journal      = {{TPLP}},
 volume       = {17},
 number       = {4},
 pages        = {462--515},
 url          = {https://doi.org/10.1017/S1471068417000102},
)
@inproceedings(DBLP:conf/aaai/BomansonJW19,
 author       = {Jori Bomanson and Tomi Janhunen and Antonius Weinzierl},
 year         = {2019},
 title        = {Enhancing Lazy Grounding with Lazy Normalization in Answer-Set Programming},
 booktitle    = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019},
 publisher    = {{AAAI} Press},
 pages        = {2694--2702},
 url          = {https://doi.org/10.1609/aaai.v33i01.33012694},
)
@article(DBLP:journals/cacm/BrewkaET11,
 author       = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski},
 year         = {2011},
 title        = {Answer set programming at a glance},
 journal      = {Commun. {ACM}},
 volume       = {54},
 number       = {12},
 pages        = {92--103},
 doi          = {10.1145/2043174.2043195},
)
@article(DBLP:journals/ai/CalimeriGMR16,
 author       = {Francesco Calimeri and Martin Gebser and Marco Maratea and Francesco Ricca},
 year         = {2016},
 title        = {Design and results of the Fifth Answer Set Programming Competition},
 journal      = {Artif. Intell.},
 volume       = {231},
 pages        = {151--181},
 doi          = {10.1016/j.artint.2015.09.008},
)
@article(DBLP:journals/tplp/CuteriDRS17,
 author       = {Bernardo Cuteri and Carmine Dodaro and Francesco Ricca and Peter Sch{\"{u}}ller},
 year         = {2017},
 title        = {Constraints, lazy constraints, or propagators in {ASP} solving: An empirical analysis},
 journal      = {{TPLP}},
 volume       = {17},
 number       = {5-6},
 pages        = {780--799},
 doi          = {10.1017/S1471068417000254},
)
@article(DBLP:journals/tplp/CuteriDRS19,
 author       = {Bernardo Cuteri and Carmine Dodaro and Francesco Ricca and Peter Sch{\"{u}}ller},
 year         = {2019},
 title        = {Partial Compilation of {ASP} Programs},
 journal      = {{TPLP}},
 volume       = {19},
 number       = {5-6},
 pages        = {857--873},
 url          = {https://doi.org/10.1017/S1471068419000231},
)
@inproceedings(DBLP:conf/ijcai/CuteriDRS20,
 author       = {Bernardo Cuteri and Carmine Dodaro and Francesco Ricca and Peter Sch{\"{u}}ller},
 year         = {2020},
 title        = {Overcoming the Grounding Bottleneck Due to Constraints in {ASP} Solving: Constraints Become Propagators},
 editor       = {Christian Bessiere},
 booktitle    = {Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, {IJCAI} 2020},
 publisher    = {ijcai.org},
 pages        = {1688--1694},
 url          = {https://doi.org/10.24963/ijcai.2020/234},
)
@inproceedings(DBLP:conf/jelia/CuteriRR19,
 author       = {Bernardo Cuteri and Kristian Reale and Francesco Ricca},
 year         = {2019},
 title        = {A Logic-Based Question Answering System for Cultural Heritage},
 booktitle    = {{JELIA}},
 series       = {Lecture Notes in Computer Science},
 volume       = {11468},
 publisher    = {Springer},
 pages        = {526--541},
 doi          = {10.1007/978-3-030-19570-0\_35},
)
@article(DBLP:journals/fuin/PaluDPR09,
 author       = {{Dal Pal{\`{u}}}, Alessandro and Agostino Dovier and Enrico Pontelli and Gianfranco Rossi},
 year         = {2009},
 title        = {{GASP:} Answer Set Programming with Lazy Grounding},
 journal      = {Fundam. Inform.},
 volume       = {96},
 number       = {3},
 pages        = {297--322},
 doi          = {10.3233/FI-2009-180},
)
@inproceedings(DBLP:conf/lpnmr/DodaroM17,
 author       = {Carmine Dodaro and Marco Maratea},
 year         = {2017},
 title        = {Nurse Scheduling via Answer Set Programming},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {10377},
 publisher    = {Springer},
 pages        = {301--307},
 doi          = {10.1007/978-3-319-61660-5\_27},
)
@article(DBLP:journals/aim/ErdemGL16,
 author       = {Esra Erdem and Michael Gelfond and Nicola Leone},
 year         = {2016},
 title        = {Applications of Answer Set Programming},
 journal      = {{AI} Magazine},
 volume       = {37},
 number       = {3},
 pages        = {53--68},
 doi          = {10.1609/aimag.v37i3.2678},
)
@article(DBLP:journals/ki/ErdemP18,
 author       = {Esra Erdem and Volkan Patoglu},
 year         = {2018},
 title        = {Applications of {ASP} in Robotics},
 journal      = {{KI}},
 volume       = {32},
 number       = {2-3},
 pages        = {143--149},
 url          = {https://doi.org/10.1007/s13218-018-0544-x},
)
@inproceedings(DBLP:conf/iclp/GebserKKOSW16,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Max Ostrowski and Torsten Schaub and Philipp Wanko},
 year         = {2016},
 title        = {Theory Solving Made Easy with Clingo 5},
 booktitle    = {{ICLP} TCs},
 series       = {{OASICS}},
 volume       = {52},
 pages        = {2:1--2:15},
 doi          = {10.4230/OASIcs.ICLP.2016.2},
)
@inproceedings(DBLP:conf/ijcai/GebserLMPRS18,
 author       = {Martin Gebser and Nicola Leone and Marco Maratea and Simona Perri and Francesco Ricca and Torsten Schaub},
 year         = {2018},
 title        = {Evaluation Techniques and Systems for Answer Set Programming: a Survey},
 booktitle    = {{IJCAI}},
 publisher    = {ijcai.org},
 pages        = {5450--5456},
 doi          = {10.24963/ijcai.2018/769},
)
@article(DBLP:journals/ngc/GelfondL91,
 author       = {Michael Gelfond and Vladimir Lifschitz},
 year         = {1991},
 title        = {Classical Negation in Logic Programs and Disjunctive Databases},
 journal      = {New Generation Comput.},
 volume       = {9},
 number       = {3/4},
 pages        = {365--386},
 doi          = {10.1007/BF03037169},
)
@article(DBLP:journals/aim/KaufmannLPS16,
 author       = {Benjamin Kaufmann and Nicola Leone and Simona Perri and Torsten Schaub},
 year         = {2016},
 title        = {Grounding and Solving in Answer Set Programming},
 journal      = {{AI} Magazine},
 volume       = {37},
 number       = {3},
 pages        = {25--32},
 doi          = {10.1609/aimag.v37i3.2672},
)
@inproceedings(DBLP:conf/lpnmr/LefevreN09a,
 author       = {Claire Lef{\`{e}}vre and Pascal Nicolas},
 year         = {2009},
 title        = {The First Version of a New {ASP} Solver: ASPeRiX},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {5753},
 publisher    = {Springer},
 pages        = {522--527},
 doi          = {10.1007/978-3-642-04238-6\_52},
)
@inproceedings(DBLP:conf/cilc/MazzottaCDR20,
 author       = {Giuseppe Mazzotta and Bernardo Cuteri and Carmine Dodaro and Francesco Ricca},
 year         = {2020},
 title        = {Compilation of Aggregates in {ASP:} Preliminary Results},
 editor       = {Francesco Calimeri and Simona Perri and Ester Zumpano},
 booktitle    = {Proceedings of the 35th Italian Conference on Computational Logic - {CILC} 2020, Rende, Italy, October 13-15, 2020},
 series       = {{CEUR} Workshop Proceedings},
 volume       = {2710},
 publisher    = {CEUR-WS.org},
 pages        = {278--296},
 url          = {http://ceur-ws.org/Vol-2710/paper18.pdf},
)
@article(DBLP:journals/tplp/OstrowskiS12,
 author       = {Max Ostrowski and Torsten Schaub},
 year         = {2012},
 title        = {{ASP} modulo {CSP:} The clingcon system},
 journal      = {{TPLP}},
 volume       = {12},
 number       = {4-5},
 pages        = {485--503},
 doi          = {10.1017/S1471068412000142},
)
@article(DBLP:journals/fuin/Schuller16,
 author       = {Peter Sch{\"{u}}ller},
 year         = {2016},
 title        = {Modeling Variations of First-Order Horn Abduction in Answer Set Programming},
 journal      = {Fundam. Inform.},
 volume       = {149},
 number       = {1-2},
 pages        = {159--207},
 doi          = {10.3233/FI-2016-1446},
)
@inproceedings(DBLP:conf/iclp/SusmanL16,
 author       = {Benjamin Susman and Yuliya Lierler},
 year         = {2016},
 title        = {{SMT}-Based Constraint Answer Set Solver {EZSMT} (System Description)},
 booktitle    = {{ICLP} TCs},
 series       = {{OASICS}},
 volume       = {52},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {1:1--1:15},
 doi          = {10.4230/OASIcs.ICLP.2016.1},
)
@inproceedings(DBLP:conf/lpnmr/TaupeWF19,
 author       = {Richard Taupe and Antonius Weinzierl and Gerhard Friedrich},
 year         = {2019},
 title        = {Degrees of Laziness in Grounding - Effects of Lazy-Grounding Strategies on {ASP} Solving},
 editor       = {Marcello Balduccini and Yuliya Lierler and Stefan Woltran},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning - 15th International Conference, {LPNMR} 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {11481},
 publisher    = {Springer},
 pages        = {298--311},
 url          = {https://doi.org/10.1007/978-3-030-20528-7\_22},
)
@inproceedings(Weinzierl2017,
 author       = {Antonius Weinzierl},
 year         = {2017},
 title        = {{Blending Lazy-Grounding and CDNL Search for Answer-Set Solving}},
 booktitle    = {{LPNMR}},
 series       = {LNCS},
 volume       = {10377},
 pages        = {191--204},
 doi          = {10.1007/978-3-319-61660-5\_17},
)