Radu Grigore, Hongseok Yang, Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016, 485
Steve Dworschak, Susanne Grell, Victoria J. Nikiforova, Torsten Schaub, Joachim Selbig, “Modeling Biological Networks by Action Languages via Answer Set Programming”, Constraints, 13, № 1-2, 2008, 21
Markus Hecher, “Advanced tools and methods for treewidth-based problem solving”, it - Information Technology, 65, № 1-2, 2023, 65
Ruoyu Wu, Gail-Joon Ahn, Hongxin Hu, “Towards HIPAA-Compliant Healthcare Systems in Cloud Computing”, International Journal of Computational Models and Algorithms in Medicine, 3, № 2, 2012, 1
Martin Gebser, Joohyung Lee, Yuliya Lierler, 4483, Logic Programming and Nonmonotonic Reasoning, 2007, 149
Ruoyu Wu, Gail-Joon Ahn, Hongxin Hu, Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium, 2012, 593
Yu-Ping Shen, Xi-Shun Zhao, “NP-Logic Systems and Model-Equivalence Reductions”, J. Comput. Sci. Technol., 25, № 6, 2010, 1321
Thomas Eiter, Markus Hecher, Rafael Kiesel, “aspmc: New frontiers of algebraic answer set counting”, Artificial Intelligence, 330, 2024, 104109
Joohyung Lee, Fangzhen Lin, “Loop formulas for circumscription”, Artificial Intelligence, 170, № 2, 2006, 160
Martin Gebser, Torsten Schaub, 4079, Logic Programming, 2006, 11