J. Mccarthy, Circumscription: a form of non-monotonic reasoning, Artif. Intell, vol.13, issue.1-2, pp.27-39, 1980.

R. Reiter, A logic for default reasoning, Artif. Intell, vol.13, issue.1-2, pp.81-132, 1980.

D. V. Mcdermott and J. Doyle, Non-monotonic logic I, Artif. Intell, vol.13, issue.1-2, pp.41-72, 1980.

C. Baral, Knowledge Representation, Reasoning and Declarative Problem Solving, 2003.

M. Gebser, B. Kaufmann, and T. Schaub, Conflict-driven answer set solving: from theory to practice, Artif. Intell, pp.52-89, 2012.

W. Faber, G. Pfeifer, N. Leone, T. Dell'armi, and G. Ielpa, Design and implementation of aggregate functions in the DLV system, Theory Pract. Log. Program, vol.8, issue.5-6, pp.545-580, 2008.

E. Erdem, M. Gelfond, N. Leone, A. Applications-of, and A. I. Mag, , vol.37, pp.53-68, 2016.

M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, Proceedings of the Fifth International Conference and Symposium of Logic Programming (ICLP'88), pp.1070-1080, 1988.

D. Pearce, Equilibrium logic, Ann. Math. Artif. Intell, vol.47, issue.1-2, pp.3-41, 2006.

P. Ferraris, J. Lee, and V. Lifschitz, Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'07), pp.372-379, 2007.

A. Harrison, V. Lifschitz, and M. Truszczynski, On equivalence of infinitary formulas under the stable model semantics, Theory Pract, Log. Program, vol.15, issue.1, pp.18-34, 2015.

D. Pearce, A new logical characterisation of stable models and answer sets, Proceedings of the Sixth International Workshop on Non-Monotonic Extensions of Logic Programming (NMELP'96), vol.1216, pp.57-70, 1997.

F. Calimeri, W. Faber, M. Gebser, G. Ianni, R. Kaminski et al., ASP-Core-2: input language format, 2012.

P. Simons, I. Niemelä, and T. Soininen, Extending and implementing the stable model semantics, Artif. Intell, vol.138, issue.1-2, pp.181-234, 2002.

N. Pelov, M. Denecker, and M. Bruynooghe, Well-founded and stable semantics of logic programs with aggregates, Theory Pract, Log. Program, vol.7, issue.3, pp.301-353, 2007.

T. C. Son and E. Pontelli, A constructive semantic characterization of aggregates in answer set programming, Theory Pract, Log. Program, vol.7, issue.3, pp.355-375, 2007.

P. Ferraris, Logic programs with propositional connectives and aggregates, ACM Trans. Comput. Log, vol.12, issue.4, p.25, 2011.

W. Faber, G. Pfeifer, and N. Leone, Semantics and complexity of recursive aggregates in answer set programming, Artif. Intell, vol.175, issue.1, pp.278-298, 2011.

M. Gelfond and Y. Zhang, Vicious circle principle and logic programs with aggregates, Theory Pract, Log. Program, vol.14, issue.4-5, pp.587-601, 2014.

M. Alviano and W. Faber, Stable model semantics of abstract dialectical frameworks revisited: a logic programming perspective, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, pp.2684-2690, 2015.

M. Gebser, A. Harrison, R. Kaminski, V. Lifschitz, T. Schaub et al., Theory Pract. Log. Program, vol.15, issue.4-5, pp.449-463, 2015.

P. Ferraris, Answer sets for propositional theories, Proceedings of the Eighth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), vol.3662, pp.119-131, 2005.

V. Lifschitz, D. Pearce, and A. Valverde, Strongly equivalent logic programs, ACM Trans. Comput. Log, vol.2, issue.4, pp.526-541, 2001.

F. Aguado, P. Cabalar, D. Pearce, G. Pérez, and C. Vidal, A denotational semantics for equilibrium logic, Theory Pract, Log. Program, vol.15, issue.4-5, pp.620-634, 2015.

M. Alviano and N. Leone, On the properties of GZ-aggregates in answer set programming, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pp.4105-4109, 2016.

A. Harrison, V. Lifschitz, and F. Yang, The semantics of gringo and infinitary propositional formulas, Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'14), 2014.

P. Cabalar, Functional answer set programming, Theory Pract, Log. Program, vol.11, issue.2-3, pp.203-233, 2011.

P. Cabalar, J. Fandinno, L. F. Del-cerro, and D. Pearce, Functional ASP with intensional sets: application to Gelfond-Zhang aggregates, Theory Pract, Log. Program, vol.18, issue.3-4), pp.390-405, 2018.