Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
General logical databases and programs: default logic semantics and stratification
Information and Computation
Negation in rule-based database languages: a survey
Selected papers of the workshop on Deductive database theory
Negation by default and unstratifiable logic programs
Selected papers of the workshop on Deductive database theory
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
The valid model semantics for logic programs
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Hi-index | 0.00 |
Using fixpoint operations, we define a new semantics for Datalog programs with negation. The semantics is deterministic. Given a program ? the model of ? in the new semantics includes the well-founded model, and is included in all stable models, if such models exist. In particular, there exist programs that have no stable models, or their well-founded model is empty, but their model in the new semantics is meaningful.