Tomi Janhunen, “Answer Set Programming”, Künstl Intell, 32, № 2-3, 2018, 125
Torsten Schaub, Stefan Woltran, “Answer set programming unleashed!”, Künstl Intell, 32, № 2-3, 2018, 105
Ilkka Niemelä, “Stable models and difference logic”, Ann Math Artif Intell, 53, № 1-4, 2008, 313
Tarek Khaled, Belaid Benhamou, Pierre Siegel, 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), 2018, 800
Yisong Wang, Jia-Huai You, Fangzhen Lin, Li Yan Yuan, Mingyi Zhang, “Weight constraint programs with evaluable functions”, Ann Math Artif Intell, 60, № 3-4, 2010, 341
Yan Zhang, Shiyang Wei, Fasheng Cao, 2020 12th International Conference on Measuring Technology and Mechatronics Automation (ICMTMA), 2020, 557
Yisong Wang, Jia-Huai You, Mingyi Zhang, 8049, Theoretical Aspects of Computing – ICTAC 2013, 2013, 355
Markus Hecher, “Proceedings 38th International Conference on Logic Programming”, Electron. Proc. Theor. Comput. Sci., 364, 2022, 147
Michael Gelfond, 3132, Logic Programming, 2004, 19
Martin Gebser, Torsten Schaub, 3662, Logic Programming and Nonmonotonic Reasoning, 2005, 53