M. Balduccini, ASP with non-herbrand partial functions: a language and system for practical use, TPLP, vol.13, pp.547-561, 2013.

C. Baral, Knowledge representation, reasoning and declarative problem solving, 2003.

M. Bartholomew and J. Lee, Stable models of multi-valued formulas: Partial versus total functions, Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014.

C. Beeri, S. A. Naqvi, O. Shmueli, and S. Tsur, Set constructors in a logic database language, J. Log. Program, vol.10, pp.181-232, 1991.
DOI : 10.1016/0743-1066(91)90036-o
URL : https://doi.org/10.1016/0743-1066(91)90036-o

P. Cabalar, Functional answer set programming, Theory and Practice of Logic Programming, vol.11, issue.2-3, pp.203-233, 2011.

P. ;. Cabalar, J. Fandinno, T. Schaub, and S. Schellhorn, Gelfond-Zhang aggregates as propositional formulas, Logic Programming and Nonmonotonic Reasoning -14th International Conference, vol.10377, pp.117-131, 2013.
DOI : 10.1007/978-3-319-61660-5_12

P. Cabalar, L. Fariñas-del-cerro, D. Pearce, and A. Valverde, A free logic for stable models with partial intensional functions, Proc. of the 14th European Conference on Logics in Artificial Intelligence (JELIA'14), vol.8761, pp.340-354, 2014.
DOI : 10.1007/978-3-319-11558-0_24
URL : http://www.dc.fi.udc.es/~cabalar/freeht.pdf

P. Cabalar, R. Kaminski, M. Ostrowski, and T. Schaub, An ASP semantics for default reasoning with constraints, Proc. of the 25th Intl. Joint Conference on Artificial Intelligence (IJCAI'16), pp.1015-1021, 2016.

A. Dovier, E. G. Omodeo, E. Pontelli, and G. Rossi, {log}: A logic programming language with finite sets, Logic Programming, Proceedings of the Eigth International Conference, pp.111-124, 1991.
DOI : 10.1016/0743-1066(95)00147-6
URL : https://doi.org/10.1016/0743-1066(95)00147-6

A. Dovier, E. Pontelli, and G. Rossi, Intensional sets in CLP, Logic Programming, 19th International Conference, vol.2916, pp.284-299, 2003.
DOI : 10.1007/978-3-540-24599-5_20

W. Faber, G. Pfeifer, L. , and N. , Semantics and complexity of recursive aggregates in answer set programming, Artificial Intelligence, vol.175, pp.278-298, 2011.

P. Ferraris, Logic programs with propositional connectives and aggregates, ACM Transactions on Computational Logic, vol.12, p.25, 2011.
DOI : 10.1145/1970398.1970401
URL : http://arxiv.org/pdf/0812.1462

P. Ferraris and V. Lifschitz, On the stable model semantics of first-order formulas with aggregates, Proceedings of the 2010 Workshop on Nonmonotonic Reasoning, 2010.

M. Gelfond and Y. Zhang, Vicious circle principle and logic programs with aggregates, Theory and Practice of Logic Programming, vol.14, pp.587-601, 2014.

A. Harrison, V. Lifschitz, and D. Raju, Program completion in the input language of GRINGO, TPLP, vol.17, pp.855-871, 2017.

A. Heyting, Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der Preussischen Akademie der Wissenschaften, Physikalisch-mathematische Klasse, pp.42-56, 1930.

G. M. Kuper, Logic programming with sets, J. Comput. Syst. Sci, vol.41, pp.44-64, 1990.

J. Lee and Y. Meng, On reductive semantics of aggregates in answer set programming, pp.182-195, 2009.

F. Lin and Y. Wang, Answer set programming with functions, Proc. of the 11th Intl. Conf. on Principles of Knowledge Representation and Reasoning (KR'08), 2008.

D. Pearce, A new logical characterisation of stable models and answer sets. In Non monotonic extensions of logic programming, Proc. NMELP'96. (LNAI 1216, 1996.

D. Pearce and A. Valverde, Towards a first order equilibrium logic for nonmonotonic reasoning, Logics in Artificial Intelligence, 9th European Conference, vol.3229, pp.147-160, 2004.
DOI : 10.1007/978-3-540-30227-8_15

N. Pelov, M. Denecker, and M. Bruynooghe, Well-founded and stable semantics of logic programs with aggregates, Theory and Practice of Logic Programming, vol.7, pp.301-353, 2007.

P. Simons, I. Niemelä, and T. Soininen, Extending and implementing the stable model semantics, Artificial Intelligence, vol.138, pp.181-234, 2002.
DOI : 10.1016/s0004-3702(02)00187-x
URL : https://doi.org/10.1016/s0004-3702(02)00187-x

T. C. Son and E. Pontelli, A constructive semantic characterization of aggregates in answer set programming, Theory and Practice of Logic Programming, vol.7, pp.355-375, 2007.