Author:
Minker Jack,Seipel Dietmar
Publisher
Springer Berlin Heidelberg
Reference185 articles.
1. K.R. Apt and H.A. Blair. Arithmetic classification of perfect models of stratified programs. Fundamenta Informaticae, XIII: pp. 1–18, 1990. With addendum in vol. XIV: pp. 339–343. 1991.
2. K.R. Apt and R.N. Bol. Logic programming and negation: a survey. Journal of Logic Programming, 19/20: pp. 9–71, 1994.
3. K.R. Apt, H.A. Blair, and A. Walker. Towards a theory of declarative knowledge. In [Min88b], pp. 89–148. 1988.
4. C. Aravindan, J. Dix, and I. Niemelä. DisLoP: Towards a Disjunctive Logic Programming System. Proc. LPNMR’97, Springer, LNAI 1265, pp. 342–353, 1997.
5. H. Andreka and I. Nemeti. The generalized completeness of Horn predicate logic as a programming language. Acta Cybernetica, 4(1): pp. 3–10, 1978.
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献