@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} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
 series       = {LNCS},
 volume       = {10377},
 publisher    = {Springer},
 pages        = {215--221},
 doi          = {10.1007/978-3-319-61660-5\_19},
)
@article(DBLP:journals/tplp/BichlerMW16,
 author       = {Manuel Bichler and Michael Morak and Stefan Woltran},
 year         = {2016},
 title        = {The power of non-ground rules in Answer Set Programming},
 journal      = {{TPLP}},
 volume       = {16},
 number       = {5-6},
 pages        = {552--569},
 doi          = {10.1017/S1471068416000338},
)
@article(MeasuresImbalancedDomains,
 author       = {Paula Branco and Lu{\'\i}s Torgo and Rita~P Ribeiro},
 year         = {2016},
 title        = {A survey of predictive modeling on imbalanced domains},
 journal      = {ACM Computing Surveys (CSUR)},
 volume       = {49},
 number       = {2},
 pages        = {1--50},
 doi          = {10.1145/2907070},
)
@article(DBLP:journals/cacm/BrewkaET11,
 author       = {Gerhard Brewka and Thomas Eiter and Miroslaw Truszczynski},
 year         = {2011},
 title        = {Answer set programming at a glance},
 journal      = {Communications of the {ACM}},
 volume       = {54},
 number       = {12},
 pages        = {92--103},
 doi          = {10.1145/2043174.2043195},
)
@article(DBLP:journals/ia/CalimeriFPZ17,
 author       = {Francesco Calimeri and Davide Fusc{\`{a}} and Simona Perri and Jessica Zangari},
 year         = {2017},
 title        = {{I-DLV:} The new intelligent grounder of {DLV}},
 journal      = {{IA}},
 volume       = {11},
 number       = {1},
 pages        = {5--20},
 doi          = {10.3233/IA-170104},
)
@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      = {{AI}},
 volume       = {231},
 pages        = {151--181},
 doi          = {10.1016/j.artint.2015.09.008},
)
@article(calimeri_perri_zangari_2019-TPLP,
 author       = {Francesco Calimeri and Simona Perri and Jessica Zangari},
 year         = {2019},
 title        = {Optimizing Answer Set Computation via Heuristic-Based Decomposition},
 journal      = {{TPLP}},
 volume       = {19},
 number       = {4},
 pages        = {603–628},
 doi          = {10.1017/S1471068419000036},
)
@book(daniel2013principles,
 author       = {Graupe Daniel},
 year         = {2013},
 title        = {Principles of artificial neural networks},
 volume       = {7},
 publisher    = {World Scientific},
 doi          = {10.1142/8868},
)
@inproceedings(DBLP:conf/tacas/AngelisFPP14,
 author       = {{De Angelis}, Emanuele and Fabio Fioravanti and Alberto Pettorossi and Maurizio Proietti},
 year         = {2014},
 title        = {VeriMAP: {A} Tool for Verifying Programs through Transformations},
 booktitle    = {{TACAS} 2014, Held as Part of the {ETAPS} 2014, Grenoble, France, April 5-13, 2014. Proceedings},
 series       = {{LNCS}},
 volume       = {8413},
 publisher    = {Springer},
 pages        = {568--574},
 doi          = {10.1007/978-3-642-54862-8\_47},
)
@article(DBLP:journals/tplp/GebserKKS19,
 author       = {Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub},
 year         = {2019},
 title        = {Multi-shot {ASP} solving with clingo},
 journal      = {TPLP},
 volume       = {19},
 number       = {1},
 pages        = {27--82},
 doi          = {10.1017/S1471068418000054},
)
@inproceedings(perri-ijcai-2018-survey,
 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},
 editor       = {J{\'{e}}r{\^{o}}me Lang},
 booktitle    = {{IJCAI} 2018, July 13-19, 2018, Stockholm, Sweden.},
 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      = {{NGC}},
 volume       = {9},
 number       = {3/4},
 pages        = {365--386},
 doi          = {10.1007/BF03037169},
)
@inproceedings(FocalLoss,
 author       = {Tsung-Yi Lin and Priya Goyal and Ross Girshick and Kaiming He and Piotr Doll{\'a}r},
 year         = {2017},
 title        = {Focal loss for dense object detection},
 booktitle    = {Proceedings of the IEEE {ICCV}},
 pages        = {2980--2988},
 doi          = {10.1109/ICCV.2017.324},
)
@article(DBLP:journals/csur/PettorossiP96,
 author       = {Alberto Pettorossi and Maurizio Proietti},
 year         = {1996},
 title        = {Rules and Strategies for Transforming Functional and Logic Programs},
 journal      = {{ACM} Comput. Surv.},
 volume       = {28},
 number       = {2},
 pages        = {360--414},
 doi          = {10.1145/234528.234529},
)
@article(seki1991unfold,
 author       = {Hirohisa Seki},
 year         = {1991},
 title        = {Unfold/fold transformation of stratified programs},
 journal      = {{TCS}},
 volume       = {86},
 number       = {1},
 pages        = {107--139},
 doi          = {10.1016/0304-3975(91)90007-O},
)