Author:
Lone Zbigniew,Truszczyński Miroslaw
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J.J. Alferes, C.V. Damásio, and L.M. Pereira. A logic programming system for nonmonotonic reasoning. Journal of Automated Reasoning, 14:93–147, 1995.
2. Lect Notes Comput Sci;K. Berman,1995
3. S. Brass and J. Dix. Characterizations of the disjunctive well-founded semantics: confluent calculi and iterated GCWA. Journal of Automated Reasoning, 20(1):143–165, 1998.
4. S. Brass and J. Dix and B. Freitag and U. Zukowski. Transformation-based bottom-up computation of the well-founded model. Manuscript.
5. W. Chen, T. Swift, and D.S. Warren. Efficient top-down computation of queries under the well-founded semantics. Journal of Logic Programming, 24(3):161–199, 1995.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. P2P Deductive Databases: Well Founded Semantics and Distributed Computation;Communications in Computer and Information Science;2017
2. Computing a Deterministic Semantics for P2P Deductive Databases;Proceedings of the 21st International Database Engineering & Applications Symposium on - IDEAS 2017;2017
3. Satisfiability Checking for PC(ID);Logic for Programming, Artificial Intelligence, and Reasoning;2005
4. Consistent Data Integration in P2P Deductive Databases;Lecture Notes in Computer Science