Author:
Sakama Chiaki,Seki Hirohisa
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Brass, S. and Dix, J., A Disjunctive Semantics Based on Unfolding and Bottom-up Evaluation, Proc. 13th World Computer Congress'94, IFIP, GI-Workshop W2, Disjunctive Logic Programming and Disjunctive Databases, 1994.
2. Gelfond, M. and Lifschitz, V., The Stable Model Semantics for Logic Programming, Proc. Joint Int. Conf. and Symp. on Logic Programming, 1070–1080, 1988.
3. Gelfond, M. and Lifschitz, V., Classical Negation in Logic Programs and Disjunctive Databases, New Generation Computing 9, 365–385, 1991.
4. Komorowski, J., A Specification of an Abstract Prolog Machine and its Application to Partial Evaluation, Technical Report LSST 69, Linköping Univ., 1981.
5. Komorowski, J., An Introduction to Partial Deduction, Proc. 3rd Int. Workshop on Meta-programming in Logic, Lecture Notes in Computer Science 649, Springer-Verlag, 49–69, 1992.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献