Enrico Giunchiglia, Yuliya Lierler, Marco Maratea, “Answer Set Programming Based on Propositional Satisfiability”, J Autom Reasoning, 36, № 4, 2007, 345
Michael Gelfond, 3, Handbook of Knowledge Representation, 2008, 285
V. W. Marek, 5366, Logic Programming, 2008, 83
Patrick Doherty, Jonas Kvarnström, Andrzej Szałas, 10021, Logics in Artificial Intelligence, 2016, 536
Christophe Bobda, Franck Yonga, Martin Gebser, Harold Ishebabi, Torsten Schaub, “High-level synthesis of on-chip multiprocessor architectures based on answer set programming”, Journal of Parallel and Distributed Computing, 117, 2018, 161
Yuping Shen, Xishun Zhao, “Computationally Hard Problems for Logic Programs under Answer Set Semantics”, ACM Trans. Comput. Logic, 25, № 4, 2024, 1