Author:
Berman Kenneth A.,Schlipf John S.,Franco John V.
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. J. Dix. A classification theory of semantics of normal logic programs: II. Weak properties. To appear in JCSS.
2. W. F. Dowling and J. H. Gallier. Linear time algorithms for testing the satisfiability of propositional Horn formulae. Journal of Logic Programming 1 (1984), 267–284.
3. M. Fitting. A Kripke-Kleene semantics for logic programs. Journal of Logic Programming, 2(4):295–312, 1985.
4. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proc. 5th Int'l Conf. Symp. on Logic Programming, 1988.
5. V. Lifschitz and H. Turner. Splitting a logic program. Preprint.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献