Publisher
Springer International Publishing
Reference11 articles.
1. Chen, Y., Lin, F., Li, L.: SELP—a system for studying strong equivalence between logic programs. In: Proceedings of LPNMR, pp. 442–446 (2005)
2. Ferraris, P.: Answer sets for propositional theories. In: Proceedings of LPNMR, pp. 119–131 (2005)
3. Gebser, M., Harrison, A., Kaminski, R., Lifschitz, V., Schaub, T.: Abstract Gringo. TPLP 15(4–5), 449–463 (2015)
4. Harrison, A., Lifschitz, V., Pearce, D., Valverde, A.: Infinitary equilibrium logic and strongly equivalent logic programs. Artif. Intell. 246, 22–33 (2017)
5. Harrison, A., Lifschitz, V., Raju, D.: Program completion in the input language of GRINGO. TPLP 17(5–6), 855–871 (2017)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献