Weakly stratified logic programs

Modular stratification and magic sets for Datalog programs with negation

Journal of the ACM (JACM)

Structural totality and constraint stratification

PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems

Logic programming revisited: logic programs as inductive definitions

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski

Constructing interpretations of deductive databases using reduction and dynamic stratification

Data Engineering

Processing indefinite deductive databases under the possible model semantics

Fundamenta Informaticae

The Well-Founded Semantics Is a Stratified Fitting Semantics

KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence

Generalized metrics and uniquely determined logic programs

Theoretical Computer Science - Topology in computer science

A uniform approach to logic programming semantics

Theory and Practice of Logic Programming

Four lessons in versatility or how query languages adapt to the web

Semantic techniques for the web

Rules and logic programming for the web

RW'11 Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of data

Processing Indefinite Deductive Databases under the Possible Model Semantics

Fundamenta Informaticae

Computing stable models for nonmonotonic existential rules

IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence