Publisher
Springer International Publishing
Reference28 articles.
1. Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theor. Pract. Log. Program. 4, 383–428 (2004)
2. Ancona, D., Dovier, A.: co-LP: Back to the Roots. Theory and Practice of Logic Programming 13(4–5) (2013)
3. Apt, K.R.: Introduction to logic programming. In: Handbook of Theoretical Computer Science, pp. 493–576. Elsevier (1990)
4. Aravindan, C., Dung, P.M.: Partial deduction of logic programs wrt well-founded semantics. New Gener. Comput. 13(1), 45–74 (1994)
5. Charatonik, W., McAllester, D., Niwinski, D., Podelski, A., Walukiewicz, I.: The Horn Mu–calculus. In: LICS 1998, pp. 58–69. IEEE Computer Society (1998)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Proof-Theoretic Foundations of Normal Logic Programs;Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems;2023