A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation-Reference-Cited by-同舟云学术

A Disjunctive Semantics Based on Unfolding and Bottom-Up Evaluation

Published:1994 Issue: Volume: Page:83-91
ISSN:1431-472X
Container-title:Innovationen bei Rechen- und Kommunikationssystemen
language:
Short-container-title:

Author:

Brass Stefan,Dix Jürgen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-51136-3_13

Reference19 articles.

1. Stefan Brass and Udo W. Lipeck. Generalized bottom-up query evaluation. In Alain Pirotte, Claude Delobel, and Georg Gottlob, editors, Advances in Database Technology — EDBT’92, 3rd Int. Conf., number 580 in LNCS, pages 88–103. Springer-Verlag, 1992.

2. Stefan Brass and Udo W. Lipeck. Bottom-up query evaluation with partially ordered defaults. In Proceedings of the 3rd International Conference on Deductive and Object-Oriented Databases (DOOD’93), number 760 in LNCS, pages 253–266. Springer, 1993.

3. Stefan Brass. Efficient query evaluation in disjunctive deductive databases. Research report, Institut für Informatik, Universität Hannover, 1993.

4. François Bry. Negation in logic programming: A formalization in constructive logic. In Dimitris Karagiannis, editor, Information Systems and Artificial Intelligence: Integration Aspects, pages 30–46. Springer, 1990.

5. Weidong Chen and David S. Warren. Computation of stable models and its integration with logical query processing. Technical report, Department of CS, SUNY at Stony Brook, 1993.

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Well-Founded and Partial Stable Semantics Logical Aspects;Computer Science - Theory and Applications;2009

2. Partial equilibrium logic;Annals of Mathematics and Artificial Intelligence;2007-08-09

3. Analysing and Extending Well-Founded and Partial Stable Semantics Using Partial Equilibrium Logic;Logic Programming;2006

4. Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases;Lecture Notes in Computer Science;2000

5. On cyclic covers and perfect models;Data & Knowledge Engineering;1999-08