Stationary semantics for disjunctive logic programs and deductive databases

On the relationship between circumscription and well-founded semantics of logic programs

SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's

On the partial semantics for disjunctive deductive databases

Annals of Mathematics and Artificial Intelligence

Disjunctive Logic Programming: A Survey and Assessment

Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I

The Well-Founded Semantics in Normal Logic Programs with Uncertainty

FLOPS '02 Proceedings of the 6th International Symposium on Functional and Logic Programming

Enhancing disjunctive logic programming systems by SAT checkers

Artificial Intelligence

The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)

Epistemic foundation of stable model semantics

Theory and Practice of Logic Programming

To vladimir lifschitz on his 65th birthday

Correct Reasoning

Semantics For Disjunctive Logic Programs With Explicit And Default Negation

Fundamenta Informaticae