On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
On the declarative and procedual semantics of logic programs
Journal of Automated Reasoning
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Weakly stratified logic programs
Fundamenta Informaticae - Special issue on LOGIC PROGRAMMING
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
Hard problems for simple default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Journal of the ACM (JACM)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
The strong semantics for logic programs
Journal of Intelligent Information Systems
Two Simple Characterizations of Well-Founded Semantics
MFCS '92 Proceedings of the 17th International Symposium on Mathematical Foundations of Computer Science
Hi-index | 0.00 |
The family of dynamic interpretations for unstratified deductive databases is introduced and studied. Such interpretations are defined from a base semantics using dynamic stratification (which in turn relies upon any natural stratification of the database), and reduction operators (which eliminate rules and dependencies which spuriously affect the natural stratification). Dynamic interpretations coincide with perfect models in the stratified case, and can also be employed to construct perfect models of disjunctive stratified databases. We characterise precisely those dynamic interpretations that are consistent with the well-founded model, and show that a certain class of dynamic interpretations coincides with stable models. We also present briefly a class of dynamic interpretations that can be regarded as being analogous to extensions of the well-founded model such as WFs , GWFS, EWFS and WFS+. 2001 Elsevier Science B.V. All rights reserved.