Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference138 articles.
1. J.J. Alferes and L.M. Pereira, On logic program semantics with two kinds of negation, in:Proc. Joint Int. Conf. and Symp. on Logic Programming, ed. K. Apt, Washington, DC, USA, 1992 (The MIT Press) pp. 574?588.
2. K.R. Apt, H.A. Blair and A. Walker, Towards a theory of declarative knowledge, in:Foundations of Deductive Databases and Logic Programming, ed. J. Minker (Morgan Kaufman, Washington, 1988) pp. 89?148.
3. K.R. Apt and R.N. Bol, Logic programming and negation: A survey, J. Logic Prog. 19/20 (1994) 9?71.
4. K.R. Apt, Logic programming, in:Handbook of Theoretical Computer Science, Vol. B, ed. J. van Leeuwen (Elsevier, 1990) pp. 493?574.
5. K.R. Apt and M.H. van Emden, Contributions to the theory of logic programming, J. ACM 29(3) (1982) 841?862.
Cited by
42 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献