Publisher
Springer International Publishing
Reference15 articles.
1. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases. Springer, Boston (1978).
https://doi.org/10.1007/978-1-4684-3384-5_11
2. Erdem, E., Gelfond, M., Leone, N.: Applications of ASP. AI Mag. 37(3), 53–68 (2016)
3. Lecture Notes in Computer Science;E Erdem,2001
4. Erdem, E., Lifschitz, V.: Tight logic programs. Theor. Pract. Logic Prog. 3(4–5), 499–518 (2003)
5. Fages, F.: Consistency of Clark’s completion and the existence of stable models. J. Methods Logic Comput. Sci. 1, 51–60 (1994)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Locally Tight Programs;Theory and Practice of Logic Programming;2024-01-19
2. Here and There with Arithmetic;Theory and Practice of Logic Programming;2021-09-23
3. Verifying Tight Logic Programs with anthem and vampire;Theory and Practice of Logic Programming;2020-09