Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri & Jessica Zangari (2017):
The ASP System DLV2.
In: LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings,
LNCS 10377.
Springer,
pp. 215–221,
doi:10.1007/978-3-319-61660-5_19.
Manuel Bichler, Michael Morak & Stefan Woltran (2016):
The power of non-ground rules in Answer Set Programming.
TPLP 16(5-6),
pp. 552–569,
doi:10.1017/S1471068416000338.
Paula Branco, Luís Torgo & Rita P Ribeiro (2016):
A survey of predictive modeling on imbalanced domains.
ACM Computing Surveys (CSUR) 49(2),
pp. 1–50,
doi:10.1145/2907070.
Gerhard Brewka, Thomas Eiter & Miroslaw Truszczynski (2011):
Answer set programming at a glance.
Communications of the ACM 54(12),
pp. 92–103,
doi:10.1145/2043174.2043195.
Francesco Calimeri, Davide Fuscà, Simona Perri & Jessica Zangari (2017):
I-DLV: The new intelligent grounder of DLV.
IA 11(1),
pp. 5–20,
doi:10.3233/IA-170104.
Francesco Calimeri, Martin Gebser, Marco Maratea & Francesco Ricca (2016):
Design and results of the Fifth Answer Set Programming Competition.
AI 231,
pp. 151–181,
doi:10.1016/j.artint.2015.09.008.
Francesco Calimeri, Simona Perri & Jessica Zangari (2019):
Optimizing Answer Set Computation via Heuristic-Based Decomposition.
TPLP 19(4),
pp. 603–628,
doi:10.1017/S1471068419000036.
Graupe Daniel (2013):
Principles of artificial neural networks 7.
World Scientific,
doi:10.1142/8868.
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi & Maurizio Proietti (2014):
VeriMAP: A Tool for Verifying Programs through Transformations.
In: TACAS 2014, Held as Part of the ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings,
LNCS 8413.
Springer,
pp. 568–574,
doi:10.1007/978-3-642-54862-8_47.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann & Torsten Schaub (2019):
Multi-shot ASP solving with clingo.
TPLP 19(1),
pp. 27–82,
doi:10.1017/S1471068418000054.
Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca & Torsten Schaub (2018):
Evaluation Techniques and Systems for Answer Set Programming: a Survey.
In: Jérôme Lang: IJCAI 2018, July 13-19, 2018, Stockholm, Sweden..
ijcai.org,
pp. 5450–5456,
doi:10.24963/ijcai.2018/769.
Michael Gelfond & Vladimir Lifschitz (1991):
Classical Negation in Logic Programs and Disjunctive Databases.
NGC 9(3/4),
pp. 365–386,
doi:10.1007/BF03037169.
Tsung-Yi Lin, Priya Goyal, Ross Girshick, Kaiming He & Piotr Dollár (2017):
Focal loss for dense object detection.
In: Proceedings of the IEEE ICCV,
pp. 2980–2988,
doi:10.1109/ICCV.2017.324.
Alberto Pettorossi & Maurizio Proietti (1996):
Rules and Strategies for Transforming Functional and Logic Programs.
ACM Comput. Surv. 28(2),
pp. 360–414,
doi:10.1145/234528.234529.
Hirohisa Seki (1991):
Unfold/fold transformation of stratified programs.
TCS 86(1),
pp. 107–139,
doi:10.1016/0304-3975(91)90007-O.
eptcs@eptcs.org