Author:
Ferrari Alves M. Halfeld,Laurent D.,Spyratos N.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. J. J. Alferes and L. M. Pereira. On logic of program semantics with two kinds of negation. In Proceedings of the Joint International Conference and Symposium of Logic Programming, 1992.
2. N. Bidoit. Negation in rule-based database languages: a survey. Theoretical Computer Science, 78(1), 1991.
3. N. Bidoit and Ch. Froidevaux. Negation by default and unstratifiable logic programs. Theoretical Computer Science, 78(1), 1991.
4. S. Ceri, G.Gottlob, and L.Tanca. Logic Programming and Databases. Springer-Verlag, 1990.
5. A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 1991.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Complexity of Updates through Integrity Constraints;Computational Logic — CL 2000;2000
2. Maximal Expansions of Database Updates;Lecture Notes in Computer Science;2000
3. Monotone Expansion of Updates in Logical Databases;Logic Programming and Nonmonotonic Reasoning;1999
4. On conservative enforced updates;Logic Programming And Nonmonotonic Reasoning;1997
5. A model theoretic approach to update rule programs;Lecture Notes in Computer Science;1997