Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of Deductive. Databases, chapter 2, pages 80–148. Morgan Kaufmann, 1988.
2. Stefan Brass and Jürgen Dix. A Characterization of the Stable Semantics by Partial Evaluation. In Proc. of the 10th Workshop on Logic Programming, Zuerich, October 1994, 1994.
3. Stefan Brass and Jürgen Dix. A disjunctive semantics based on unfolding and bottom-up evaluation. In Bernd Wolfinger, editor, Innovationen bei Rechenund Kommunikationssystemen, (IFIP-Congress, Workshop FG2: Disjunctive Logic Programming and Disjunctive Databases), pages 83–91. Springer-Verlag, 1994.
4. Stefan Brass and Jürgen Dix. A General Approach to Bottom-Up Computation of Disjunctive Semantics. In J. Dix, L. Pereira, and T. Przymusinski, editors, Nonmonotonic Extensions of Logic Programming, pages 127–155. Springer LNCS, to appear, 1995.
5. Stefan Brass and Jürgen Dix. Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In Leon Sterling, editor, Proceedings of the 12th Int. Conf. on Logic Programming, Tokyo. MIT, June 1995.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献