Author:
Osorio Mauricio,Jayaraman Bharat
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. S. Abiteboul and S. Grumbach, “A Rule-Based Language with Functions and Sets,” ACM Trans. on Database Systems, 16(1):1–30, 1991.
2. C. Aranvindam and P.M. Dung, “Partial deduction of Logic Programs wrt Well-Founded Semantics,” New Generation Computing, 13 pp. 45–74, 1994
3. C. Beeri, S. Naqvi, et al, “Sets and Negation in a Logic Database Language (LDL1),” Proc. 6th ACM Symp. on Principles of Database Systems, pp. 21–37, 1987.
4. J.Dix, “A framework for representing and characterizing semantics of Logic Programs,” Proc. 3rd Intl. Conf. on Principles of Knowledge Representation and Reasoning pp. 591–602, 1992.
5. J. Dix, “A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties,” Fundamenta Informaticae XXII(3) pp. 227–255, 1995.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stratified Partial-Order Logic Programming;Advances in Artificial Intelligence;2001
2. High-Level Logic Programming;Lecture Notes in Computer Science;2000
3. Theory of partial-order programming;Science of Computer Programming;1999-07
4. Semantics of Partial-Order Programs;Logics in Artificial Intelligence;1998
5. Integrating the Completion and the Well Founded Semantics;Lecture Notes in Computer Science;1998