Author:
Brass Stefan,Zukowski Ulrich,Freitag Burkhard
Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. C. Aravindan and P. M. Dung. On the correctness of unfold/fold transformation of normal and extended logic programs. The JLP, 24(3):201–217, 1995.
2. C. Bell, A. Nerode, R. Ng, and V. S. Subrahmanian. Implementing stable semantics by linear programming. In L. M. Pereira and A. Nerode, editors, Logic Programming and Non-monotonic Reasoning, Proc. of the Second Int. Workshop (LP-NMR'93), pages 23–42. MIT Press, 1993.
3. S. Brass. Bottom-up query evaluation in extended deductive databases. Habilitation thesis, Institut für Informatik, Universität Hannover, 1996.
4. S. Brass. SLDMagic — An improved magic set technique. In B. Novikov and J. W. Schmidt, editors, Advances in Databases and Information Systems — ADBIS'96, 1996.
5. S. Brass and J. Dix. Characterizations of the stable semantics by partial evaluation. In A. Nerode, editor, Logic Programming and Nonmonotonic Reasoning, Proc. of the Third Int. Conf. (LPNMR'95), number 928 in LNCS, pages 85–98. Springer, 1995.
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献